Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
No abstract available.
Related papers
- Advances in Symbolic Probabilistic Model Checking with PRISM TACAS 2016
- AKR: A Model Checker for an Adaptative Probabilistic Knowing-How Logic TACAS 2026
- A Storm is Coming: A Modern Probabilistic Model Checker CAV 2017
- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis CAV 2013
- Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking CAV 2005
- Symbolic Model Checking for Rectangular Hybrid Systems TACAS 2000
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra TACAS 2008
- PRISM 4.0: Verification of Probabilistic Real-Time Systems CAV 2011