Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
From MaRDI portal
Publication:3525652
DOI10.1007/978-3-540-74407-8_28zbMath1151.68549OpenAlexW1509804682MaRDI QIDQ3525652
Martin R. Neuhäußer, Joost-Pieter Katoen
Publication date: 18 September 2008
Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: http://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-008332%22
Markov and semi-Markov decision processes (90C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Lumpability for uncertain continuous-time Markov chains ⋮ A Tutorial on Interactive Markov Chains ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics ⋮ A Hemimetric Extension of Simulation for Semi-Markov Decision Processes ⋮ The How and Why of Interactive Markov Chains ⋮ Delayed Nondeterminism in Continuous-Time Markov Decision Processes ⋮ The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism