Verification of partial-information probabilistic systems using counterexample-guided refinements

DOI10.1007/978-3-642-33386-6_26zbMATH Open1374.68287OpenAlexW105489851MaRDI QIDQ4649307FDOQ4649307

Authors: Sergio Giro, Markus Rabe 

Publication date: 21 November 2012

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33386-6_26

Recommendations

• Verification and control of partially observable probabilistic systems
• Verification and control of partially observable probabilistic real-time systems
• Undecidability results for distributed probabilistic systems
• scientific article; zbMATH DE number 1884411
• Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (4)

• Verification and control of partially observable probabilistic real-time systems
• Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms
• Verification and control of partially observable probabilistic systems
• Automated verification and synthesis of stochastic hybrid systems: a survey

Uses Software

• LiQuor

This page was built for publication: Verification of partial-information probabilistic systems using counterexample-guided refinements

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