Automated Verification and Strategy Synthesis for Probabilistic Systems

This page provides supplementary material for "Automated Verification and Strategy Synthesis for Probabilistic Systems", by Marta Kwiatkowska and David Parker.

Examples

Here our PRISM (and PRISM-games) files used for the examples in the paper:

• Model: robot.prism
• Properties: robot.props
  
  
• Model (game): robot+env.prism
• Properties (game): robot+env.props

Site hosted at the Department of Computer Science, University of Oxford