Compositional bisimulation minimization for interval Markov decision processes

DOI10.1007/978-3-319-30000-9_9MaRDI QIDQ2798714zbMATH OpenOpenAlexFDO

Authors Vahid Hashemi, Holger Hermanns, Lei Song, Andrea Turrini, K. Subramani, Piotr Wojciechowski

Publication date 13 April 2016

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-30000-9_9

zbMATH Keywords

bisimulationcomplexitycompositionalityinterval MDPMarkov decision process

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) 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)

Recommendations

• Probabilistic bisimulations for PCTL model checking of interval MDPs
• Exploiting robust optimization for interval probabilistic bisimulation
• Polynomial-time alternating probabilistic bisimulation for interval MDPs
• Polynomial-time verification of PCTL properties of MDPs with convex uncertainties
• Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking

Cited in

(8)

• Exploiting robust optimization for interval probabilistic bisimulation
• Polynomial-time verification of PCTL properties of MDPs with convex uncertainties
• SMT-based bisimulation minimisation of Markov models
• Probabilistic bisimulations for PCTL model checking of interval MDPs
• Polynomial-time alternating probabilistic bisimulation for interval MDPs
• Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
• Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions
• Equivalence checking 40 years after: a review of bisimulation tools

This page was built for publication: Compositional bisimulation minimization for interval Markov decision processes

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