From Timed Automata to Stochastic Hybrid Games
Model Checking, Performance Evaluation and Synthesis

using UPPAAL 

Kim Guldstrand Larsen
CISS, Aalborg University, DENMARK  

Fifth Summer School on Formal Techniques

May 17 - May 22, 2015

Menlo College, Atherton, CA

 

Slides (preliminary – will be updated)

  1. Timed Automata and UPPAAL
  2. Symbolic Verification and UPPAAL Engine
  3. Priced Timed Automata and Timed Games
  4. Stochastic Timed Automata and Statistical Model Checking

Material available here!
 

Exercises available here!