Abstract
In 2005 we proposed the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. Since then we have completely re-implemented the first prototype and made dramatic improvements both in terms of performance (several orders of magnitude) and the input language (complete support of all the language features of UPPAAL). In addition, the tool supports the new feature of strategy generation with different compactness levels. In this paper we present this new version of UPPAAL-Tiga.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 18th Nordic Workshop on Programming Theory |
| Editors | Luca Aceto, Anna Ingolfdottir |
| Number of pages | 4 |
| Publisher | University of Reykjavik |
| Publication date | 2006 |
| Publication status | Published - 2006 |
| Event | 18th Nordic Workshop on Programming Theory (NWPT'06) - Reykjavik, Iceland Duration: 18 Oct 2006 → 20 Oct 2006 |
Conference
| Conference | 18th Nordic Workshop on Programming Theory (NWPT'06) |
|---|---|
| Country/Territory | Iceland |
| City | Reykjavik |
| Period | 18/10/2006 → 20/10/2006 |
Keywords
- timed-automata
- timed games
- model-checker
- UPPAAL