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

DOI10.1007/978-3-642-33386-6_26MaRDI QIDQ4649307zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(4)

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

Describes a project that uses

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)