Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes

DOI10.1007/978-3-642-54013-4_6zbMath1428.68191arXiv1204.1848OpenAlexW1748394003MaRDI QIDQ2938063

Jens Chr. Godskesen, Lei Song, Li-jun Zhang

Publication date: 13 January 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1204.1848

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Lumpability for uncertain continuous-time Markov chains ⋮ A Hemimetric Extension of Simulation for Semi-Markov Decision Processes ⋮ Logical characterization of fluid equivalences

This page was built for publication: Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes