FRINK Linked Data Fragments server

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

• W1748394003 endingPage "117" @default.
• W1748394003 startingPage "98" @default.
• W1748394003 abstract "In this paper we study strong and weak bisimulation equivalences for continuous-time Markov decision processes (CTMDPs) and the logical characterizations of these relations with respect to the continuous-time stochastic logic (CSL). For strong bisimulation, it is well known that it is strictly finer than the CSL equivalence. In this paper we propose strong and weak bisimulations for CTMDPs and show that for a subclass of CTMDPs, strong and weak bisimulations are both sound and complete with respect to the equivalences induced by CSL and the sub-logic of CSL without next operator respectively. We then consider a standard extension of CSL, and show that it and its sub-logic without X can be fully characterized by strong and weak bisimulations respectively over arbitrary CTMDPs." @default.
• W1748394003 created "2016-06-24" @default.
• W1748394003 creator A5065045401 @default.
• W1748394003 creator A5081589298 @default.
• W1748394003 creator A5088128024 @default.
• W1748394003 date "2014-01-01" @default.
• W1748394003 modified "2023-09-25" @default.
• W1748394003 title "Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes" @default.
• W1748394003 cites W1498125516 @default.
• W1748394003 cites W1509804682 @default.
• W1748394003 cites W1511105469 @default.
• W1748394003 cites W1520708882 @default.
• W1748394003 cites W1556729131 @default.
• W1748394003 cites W1575787262 @default.
• W1748394003 cites W1597181838 @default.
• W1748394003 cites W1781946001 @default.
• W1748394003 cites W1862398452 @default.
• W1748394003 cites W1969553191 @default.
• W1748394003 cites W1990183105 @default.
• W1748394003 cites W2005998857 @default.
• W1748394003 cites W2015172530 @default.
• W1748394003 cites W2020204292 @default.
• W1748394003 cites W2023808162 @default.
• W1748394003 cites W2026629052 @default.
• W1748394003 cites W2030263557 @default.
• W1748394003 cites W2056928795 @default.
• W1748394003 cites W2085298577 @default.
• W1748394003 cites W2088823298 @default.
• W1748394003 cites W2098981343 @default.
• W1748394003 cites W2103972329 @default.
• W1748394003 cites W2110601664 @default.
• W1748394003 cites W2115555017 @default.
• W1748394003 cites W2121740517 @default.
• W1748394003 cites W2123631651 @default.
• W1748394003 cites W2140646474 @default.
• W1748394003 cites W2141881497 @default.
• W1748394003 cites W2152342144 @default.
• W1748394003 cites W2168234479 @default.
• W1748394003 cites W2169114971 @default.
• W1748394003 cites W3104705157 @default.
• W1748394003 cites W77257248 @default.
• W1748394003 doi "https://doi.org/10.1007/978-3-642-54013-4_6" @default.
• W1748394003 hasPublicationYear "2014" @default.
• W1748394003 type Work @default.
• W1748394003 sameAs 1748394003 @default.
• W1748394003 citedByCount "4" @default.
• W1748394003 countsByYear W17483940032015 @default.
• W1748394003 countsByYear W17483940032017 @default.
• W1748394003 countsByYear W17483940032018 @default.
• W1748394003 countsByYear W17483940032021 @default.
• W1748394003 crossrefType "book-chapter" @default.
• W1748394003 hasAuthorship W1748394003A5065045401 @default.
• W1748394003 hasAuthorship W1748394003A5081589298 @default.
• W1748394003 hasAuthorship W1748394003A5088128024 @default.
• W1748394003 hasBestOaLocation W17483940032 @default.
• W1748394003 hasConcept C105795698 @default.
• W1748394003 hasConcept C106189395 @default.
• W1748394003 hasConcept C11413529 @default.
• W1748394003 hasConcept C118615104 @default.
• W1748394003 hasConcept C119857082 @default.
• W1748394003 hasConcept C135315306 @default.
• W1748394003 hasConcept C159886148 @default.
• W1748394003 hasConcept C199360897 @default.
• W1748394003 hasConcept C2778029271 @default.
• W1748394003 hasConcept C2780069185 @default.
• W1748394003 hasConcept C33923547 @default.
• W1748394003 hasConcept C41008148 @default.
• W1748394003 hasConcept C80444323 @default.
• W1748394003 hasConcept C98763669 @default.
• W1748394003 hasConceptScore W1748394003C105795698 @default.
• W1748394003 hasConceptScore W1748394003C106189395 @default.
• W1748394003 hasConceptScore W1748394003C11413529 @default.
• W1748394003 hasConceptScore W1748394003C118615104 @default.
• W1748394003 hasConceptScore W1748394003C119857082 @default.
• W1748394003 hasConceptScore W1748394003C135315306 @default.
• W1748394003 hasConceptScore W1748394003C159886148 @default.
• W1748394003 hasConceptScore W1748394003C199360897 @default.
• W1748394003 hasConceptScore W1748394003C2778029271 @default.
• W1748394003 hasConceptScore W1748394003C2780069185 @default.
• W1748394003 hasConceptScore W1748394003C33923547 @default.
• W1748394003 hasConceptScore W1748394003C41008148 @default.
• W1748394003 hasConceptScore W1748394003C80444323 @default.
• W1748394003 hasConceptScore W1748394003C98763669 @default.
• W1748394003 hasLocation W17483940031 @default.
• W1748394003 hasLocation W17483940032 @default.
• W1748394003 hasLocation W17483940033 @default.
• W1748394003 hasOpenAccess W1748394003 @default.
• W1748394003 hasPrimaryLocation W17483940031 @default.
• W1748394003 hasRelatedWork W1992639690 @default.
• W1748394003 hasRelatedWork W2069441293 @default.
• W1748394003 hasRelatedWork W2082240258 @default.
• W1748394003 hasRelatedWork W2127734854 @default.
• W1748394003 hasRelatedWork W2156355394 @default.
• W1748394003 hasRelatedWork W2170296074 @default.
• W1748394003 hasRelatedWork W2413475417 @default.
• W1748394003 hasRelatedWork W2888328996 @default.
• W1748394003 hasRelatedWork W2973470444 @default.
• W1748394003 hasRelatedWork W3099114572 @default.

• next