Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes

DOI10.1007/978-3-540-74407-8_28zbMATH Open1151.68549OpenAlexW1509804682MaRDI QIDQ3525652FDOQ3525652

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

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

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)

Cited In (19)

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

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)