Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

DOI10.1007/978-3-540-74407-8_28MaRDI QIDQ3525652zbMATH OpenOpenAlexFDO

Authors Martin 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

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Bisimulations and logical characterizations on continuous-time Markov decision processes
• Bisimulation equivalence relation and logic preservation for continue time Markov decision process
• Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
• scientific article; zbMATH DE number 1927572
• Theoretical Aspects of Computing – ICTAC 2005

Cited in

(20)

• Bisimulation equivalence relation and logic preservation for continue time Markov decision process
• The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
• On lexicographic proof rules for probabilistic termination
• Lumpability for uncertain continuous-time Markov chains
• Delayed Nondeterminism in Continuous-Time Markov Decision Processes
• Trace relations and logical preservation for Markov automata
• Bisimulation for Markov decision processes through families of functional expressions
• A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
• A Tutorial on Interactive Markov Chains
• scientific article; zbMATH DE number 1927572 (Why is no real title available?)
• \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics
• Trace relations and logical preservation for continuous-time Markov decision processes
• Bisimulations and logical characterizations on continuous-time Markov decision processes
• Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
• The how and why of interactive Markov chains
• On Lexicographic Proof Rules for Probabilistic Termination
• Bisimulation metrics for continuous Markov decision processes
• The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Hybrid Systems: Computation and Control

This page was built for publication: Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525652)