Matches in SemOpenAlex for { <https://semopenalex.org/work/W1537517911> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1537517911 endingPage "285" @default.
- W1537517911 startingPage "274" @default.
- W1537517911 abstract "Interval Markov Chains (IMCs) are the base of a classic probabilistic specification theory by Larsen and Jonsson in 1991. They are also a popular abstraction for probabilistic systems.In this paper we study complexity of several problems for this abstraction, that stem from compositional modeling methodologies. In particular we close the complexity gap for thorough refinement of two IMCs and for deciding the existence of a common implementation for an unbounded number of IMCs, showing that these problems are EXPTIME-complete. We also prove that deciding consistency of an IMC is polynomial and discuss suitable notions of determinism for such specifications." @default.
- W1537517911 created "2016-06-24" @default.
- W1537517911 creator A5000905818 @default.
- W1537517911 creator A5022295634 @default.
- W1537517911 creator A5030129842 @default.
- W1537517911 creator A5056331041 @default.
- W1537517911 creator A5056755949 @default.
- W1537517911 date "2011-01-01" @default.
- W1537517911 modified "2023-10-16" @default.
- W1537517911 title "Decision Problems for Interval Markov Chains" @default.
- W1537517911 cites W1497573972 @default.
- W1537517911 cites W1537517911 @default.
- W1537517911 cites W1561925517 @default.
- W1537517911 cites W1594368577 @default.
- W1537517911 cites W1597181838 @default.
- W1537517911 cites W2005998857 @default.
- W1537517911 cites W2098817244 @default.
- W1537517911 cites W2148384577 @default.
- W1537517911 cites W2155707149 @default.
- W1537517911 cites W2157239333 @default.
- W1537517911 cites W2914011863 @default.
- W1537517911 doi "https://doi.org/10.1007/978-3-642-21254-3_21" @default.
- W1537517911 hasPublicationYear "2011" @default.
- W1537517911 type Work @default.
- W1537517911 sameAs 1537517911 @default.
- W1537517911 citedByCount "25" @default.
- W1537517911 countsByYear W15375179112012 @default.
- W1537517911 countsByYear W15375179112013 @default.
- W1537517911 countsByYear W15375179112014 @default.
- W1537517911 countsByYear W15375179112015 @default.
- W1537517911 countsByYear W15375179112016 @default.
- W1537517911 countsByYear W15375179112017 @default.
- W1537517911 countsByYear W15375179112019 @default.
- W1537517911 countsByYear W15375179112020 @default.
- W1537517911 countsByYear W15375179112021 @default.
- W1537517911 countsByYear W15375179112022 @default.
- W1537517911 countsByYear W15375179112023 @default.
- W1537517911 crossrefType "book-chapter" @default.
- W1537517911 hasAuthorship W1537517911A5000905818 @default.
- W1537517911 hasAuthorship W1537517911A5022295634 @default.
- W1537517911 hasAuthorship W1537517911A5030129842 @default.
- W1537517911 hasAuthorship W1537517911A5056331041 @default.
- W1537517911 hasAuthorship W1537517911A5056755949 @default.
- W1537517911 hasConcept C105795698 @default.
- W1537517911 hasConcept C106189395 @default.
- W1537517911 hasConcept C114614502 @default.
- W1537517911 hasConcept C119857082 @default.
- W1537517911 hasConcept C126255220 @default.
- W1537517911 hasConcept C159886148 @default.
- W1537517911 hasConcept C2778067643 @default.
- W1537517911 hasConcept C33923547 @default.
- W1537517911 hasConcept C41008148 @default.
- W1537517911 hasConcept C42475967 @default.
- W1537517911 hasConcept C98763669 @default.
- W1537517911 hasConceptScore W1537517911C105795698 @default.
- W1537517911 hasConceptScore W1537517911C106189395 @default.
- W1537517911 hasConceptScore W1537517911C114614502 @default.
- W1537517911 hasConceptScore W1537517911C119857082 @default.
- W1537517911 hasConceptScore W1537517911C126255220 @default.
- W1537517911 hasConceptScore W1537517911C159886148 @default.
- W1537517911 hasConceptScore W1537517911C2778067643 @default.
- W1537517911 hasConceptScore W1537517911C33923547 @default.
- W1537517911 hasConceptScore W1537517911C41008148 @default.
- W1537517911 hasConceptScore W1537517911C42475967 @default.
- W1537517911 hasConceptScore W1537517911C98763669 @default.
- W1537517911 hasLocation W15375179111 @default.
- W1537517911 hasOpenAccess W1537517911 @default.
- W1537517911 hasPrimaryLocation W15375179111 @default.
- W1537517911 hasRelatedWork W1497711688 @default.
- W1537517911 hasRelatedWork W1990452411 @default.
- W1537517911 hasRelatedWork W2000218120 @default.
- W1537517911 hasRelatedWork W2043962027 @default.
- W1537517911 hasRelatedWork W2117282672 @default.
- W1537517911 hasRelatedWork W2161367706 @default.
- W1537517911 hasRelatedWork W2354904676 @default.
- W1537517911 hasRelatedWork W2913022628 @default.
- W1537517911 hasRelatedWork W3198596521 @default.
- W1537517911 hasRelatedWork W4287640753 @default.
- W1537517911 isParatext "false" @default.
- W1537517911 isRetracted "false" @default.
- W1537517911 magId "1537517911" @default.
- W1537517911 workType "book-chapter" @default.