Game-Based Probabilistic Predicate Abstraction in PRISM

DOI10.1016/j.entcs.2008.11.016zbMath1286.68316OpenAlexW2106513521MaRDI QIDQ5415661

No author found.

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.11.016

zbMATH Keywords

Markov modelsautomatic verificationpredicate abstractionprobabilistic model checking

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 (6)

A game-based abstraction-refinement framework for Markov decision processes ⋮ Game-Based Probabilistic Predicate Abstraction in PRISM ⋮ Probabilistic model checking of biological systems with uncertain kinetic rates ⋮ Compositional Abstraction for Stochastic Systems ⋮ Lifted model checking for relational MDPs ⋮ Model checking single agent behaviours by fluid approximation

Uses Software

• PRISM
• LiQuor

Cites Work

• Predicate abstraction of ANSI-C programs using SAT
• On finite-state approximants for probabilistic computation tree logic
• Model checking of probabilistic and nondeterministic systems
• Game-Based Probabilistic Predicate Abstraction in PRISM
• Magnifying-Lens Abstraction for Markov Decision Processes
• Computer Aided Verification
• Model Checking Software
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Game-Based Probabilistic Predicate Abstraction in PRISM