A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
DOI10.1007/978-3-319-99154-2_21zbMath1514.68192OpenAlexW2887548420MaRDI QIDQ6104817
Kim Guldstrand Larsen, Radu Mardare, Giorgio Bacci, Mathias Ruggaard Pedersen
Publication date: 28 June 2023
Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)
Full work available at URL: https://strathprints.strath.ac.uk/70385/1/Pedersen_etal_QEST2018_A_hemimetric_extension_of_simulation_for_semi_markov_decision_processes.pdf
Logic in computer science (03B70) 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 (1)
Cites Work
- Unnamed Item
- Metrics for labelled Markov processes
- Interactive Markov chains. And the quest for quantified quality
- Stochastic orders
- Deciding bisimilarity and similarity for probabilistic processes.
- Comparative branching-time semantics for Markov chains
- Strong Completeness for Markovian Logics
- On the Complexity of Computing Probabilistic Bisimilarity
- Taking It to the Limit: Approximate Reasoning for Markov Processes
- Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
- Bisimulation Metrics for Continuous Markov Decision Processes
- Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
- Validation of Stochastic Systems
- A Compositional Approach to Performance Modelling
This page was built for publication: A Hemimetric Extension of Simulation for Semi-Markov Decision Processes
