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. The first prototype presented at that time has now matured to a fully integrated tool with dramatic improvements both in terms of performance and the availability of the extended input language of UPPAAL-4.0. The new tool can output strategies or let the user play against them both from the command line and from the graphical simulator that was completely re-designed. © Springer-Verlag Berlin Heidelberg 2007.
Cite
CITATION STYLE
Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K. G., & Lime, D. (2007). UPPAAL-tiga: Time for playing games! In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4590 LNCS, pp. 121–125). Springer Verlag. https://doi.org/10.1007/978-3-540-73368-3_14
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
