Robust PCTL model checking

DOI10.1145/2185632.2185673MaRDI QIDQ2986774zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Alessandro D'Innocenzo, Alessandro Abate, Joost-Pieter Katoen

Publication date 16 May 2017

Published in Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2185632.2185673

zbMATH Keywords

approximate probabilistic bisimulationMarkov chainsPCTL

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the relationship between bisimulation and trace equivalence in an approximate probabilistic context
• Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
• Exploiting robust optimization for interval probabilistic bisimulation
• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 1507207

Cited in

(12)

• Partitioned PLTL model-checking for refined transition systems
• Exploiting robust optimization for interval probabilistic bisimulation
• A probabilistic calculus of cyber-physical systems
• Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Compositional abstraction-based synthesis for networks of stochastic switched systems
• Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach
• On the relationship between bisimulation and trace equivalence in an approximate probabilistic context
• Verification of general Markov decision processes by approximate similarity relations and policy refinement
• Probabilistic model checking of labelled Markov processes via finite approximate bisimulations
• Sound approximate and asymptotic probabilistic bisimulations for PCTL
• A spectrum of approximate probabilistic bisimulations

This page was built for publication: Robust PCTL model checking

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