FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2243362255> ?p ?o ?g. }

• W2243362255 endingPage "485" @default.
• W2243362255 startingPage "474" @default.
• W2243362255 abstract "Interactive Markov chains (IMC) are compositional behavioral models extending both labeled transition systems and continuous-time Markov chains. IMC pair modeling convenience - owed to compositionality properties - with effective verification algorithms and tools - owed to Markov properties. Thus far however, IMC verification did not consider compositionality properties, but considered closed systems. This paper discusses the evaluation of IMC in an open and thus compositional interpretation. For this we embed the IMC into a game that is played with the environment. We devise algorithms that enable us to derive bounds on reachability probabilities that are assured to hold in any composition context." @default.
• W2243362255 created "2016-06-24" @default.
• W2243362255 creator A5023843672 @default.
• W2243362255 creator A5028747794 @default.
• W2243362255 creator A5074485601 @default.
• W2243362255 creator A5081789779 @default.
• W2243362255 creator A5082160514 @default.
• W2243362255 date "2012-01-01" @default.
• W2243362255 modified "2023-10-18" @default.
• W2243362255 title "Verification of Open Interactive Markov Chains" @default.
• W2243362255 cites W1481037403 @default.
• W2243362255 cites W1496590343 @default.
• W2243362255 cites W1499790443 @default.
• W2243362255 cites W1504080271 @default.
• W2243362255 cites W1507281497 @default.
• W2243362255 cites W1520708882 @default.
• W2243362255 cites W1580405793 @default.
• W2243362255 cites W1581031502 @default.
• W2243362255 cites W1594997032 @default.
• W2243362255 cites W171047235 @default.
• W2243362255 cites W1839854015 @default.
• W2243362255 cites W2005684815 @default.
• W2243362255 cites W2020204292 @default.
• W2243362255 cites W2059057465 @default.
• W2243362255 cites W2070874614 @default.
• W2243362255 cites W2088823298 @default.
• W2243362255 cites W2109756477 @default.
• W2243362255 cites W2110411539 @default.
• W2243362255 cites W2115054228 @default.
• W2243362255 cites W2138756653 @default.
• W2243362255 cites W2140493413 @default.
• W2243362255 cites W2141823988 @default.
• W2243362255 cites W2144338184 @default.
• W2243362255 cites W2146049822 @default.
• W2243362255 cites W2148384577 @default.
• W2243362255 cites W2152342144 @default.
• W2243362255 cites W2158503535 @default.
• W2243362255 cites W2161926614 @default.
• W2243362255 cites W2244458880 @default.
• W2243362255 cites W2410243683 @default.
• W2243362255 cites W2913425508 @default.
• W2243362255 doi "https://doi.org/10.4230/lipics.fsttcs.2012.474" @default.
• W2243362255 hasPublicationYear "2012" @default.
• W2243362255 type Work @default.
• W2243362255 sameAs 2243362255 @default.
• W2243362255 citedByCount "5" @default.
• W2243362255 countsByYear W22433622552013 @default.
• W2243362255 countsByYear W22433622552014 @default.
• W2243362255 countsByYear W22433622552015 @default.
• W2243362255 countsByYear W22433622552019 @default.
• W2243362255 countsByYear W22433622552021 @default.
• W2243362255 crossrefType "proceedings-article" @default.
• W2243362255 hasAuthorship W2243362255A5023843672 @default.
• W2243362255 hasAuthorship W2243362255A5028747794 @default.
• W2243362255 hasAuthorship W2243362255A5074485601 @default.
• W2243362255 hasAuthorship W2243362255A5081789779 @default.
• W2243362255 hasAuthorship W2243362255A5082160514 @default.
• W2243362255 hasConcept C105795698 @default.
• W2243362255 hasConcept C11413529 @default.
• W2243362255 hasConcept C119857082 @default.
• W2243362255 hasConcept C121375916 @default.
• W2243362255 hasConcept C136643341 @default.
• W2243362255 hasConcept C151730666 @default.
• W2243362255 hasConcept C154945302 @default.
• W2243362255 hasConcept C159886148 @default.
• W2243362255 hasConcept C199360897 @default.
• W2243362255 hasConcept C2779343474 @default.
• W2243362255 hasConcept C33923547 @default.
• W2243362255 hasConcept C41008148 @default.
• W2243362255 hasConcept C80444323 @default.
• W2243362255 hasConcept C86803240 @default.
• W2243362255 hasConcept C98763669 @default.
• W2243362255 hasConceptScore W2243362255C105795698 @default.
• W2243362255 hasConceptScore W2243362255C11413529 @default.
• W2243362255 hasConceptScore W2243362255C119857082 @default.
• W2243362255 hasConceptScore W2243362255C121375916 @default.
• W2243362255 hasConceptScore W2243362255C136643341 @default.
• W2243362255 hasConceptScore W2243362255C151730666 @default.
• W2243362255 hasConceptScore W2243362255C154945302 @default.
• W2243362255 hasConceptScore W2243362255C159886148 @default.
• W2243362255 hasConceptScore W2243362255C199360897 @default.
• W2243362255 hasConceptScore W2243362255C2779343474 @default.
• W2243362255 hasConceptScore W2243362255C33923547 @default.
• W2243362255 hasConceptScore W2243362255C41008148 @default.
• W2243362255 hasConceptScore W2243362255C80444323 @default.
• W2243362255 hasConceptScore W2243362255C86803240 @default.
• W2243362255 hasConceptScore W2243362255C98763669 @default.
• W2243362255 hasLocation W22433622551 @default.
• W2243362255 hasOpenAccess W2243362255 @default.
• W2243362255 hasPrimaryLocation W22433622551 @default.
• W2243362255 hasRelatedWork W1498432697 @default.
• W2243362255 hasRelatedWork W1504080271 @default.
• W2243362255 hasRelatedWork W1520708882 @default.
• W2243362255 hasRelatedWork W1580405793 @default.
• W2243362255 hasRelatedWork W1597655219 @default.
• W2243362255 hasRelatedWork W1623473440 @default.
• W2243362255 hasRelatedWork W1862398452 @default.
• W2243362255 hasRelatedWork W2071103858 @default.

• next