Variable Probabilistic Abstraction Refinement

DOI10.1007/978-3-642-33386-6_24zbMath1374.68347OpenAlexW1650157420MaRDI QIDQ4649305

Björn Wachter, Ernst Moritz Hahn, Luis María Ferrer Fioriti, Holger Hermanns

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_24

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items

A counter abstraction technique for verifying properties of probabilistic swarm systems, On Abstraction of Probabilistic Systems, Unnamed Item

Uses Software

• PRISM
• CEGAR
• PARAM