Uppaal Stratego
Top Cited Papers
- 1 January 2015
- book chapter
- Published by Springer Nature
- p. 206-211
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Verification and Performance Evaluation of Timed Game Strategies2014
- On Time with Minimal Expected Cost!2014
- FDR3 — A Modern Refinement Checker for CSP2014
- Schedulability of Herschel-Planck Revisited Using Statistical Model CheckingLecture Notes in Computer Science, 2012
- PRISM 4.0: Verification of Probabilistic Real-Time Systems2011
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case StudyLecture Notes in Computer Science, 2009
- Guided Controller Synthesis for Climate Controller Using Uppaal Tiga2007
- UPPAAL-Tiga: Time for Playing Games!2007
- Efficient On-the-Fly Algorithms for the Analysis of Timed Games2005
- NuSMV 2: An OpenSource Tool for Symbolic Model Checking2002