Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements

DOI10.1007/978-3-642-33386-6_26zbMath1374.68287OpenAlexW105489851MaRDI QIDQ4649307

Sergio Giro, Markus N. 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)

Related Items (4)

Verification and Control of Partially Observable Probabilistic Real-Time Systems ⋮ Verification and control of partially observable probabilistic systems ⋮ Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms ⋮ 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