swMATH ID: 12913
Software Authors: Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.
Description: UPPAAL TIGA (Fig. 1) is an extension of UPPAAL [BDL04] and it implements the first efficient on-the-fly algorithm for solving games based on timed game automata with respect to reachability and safety properties. Though timed games for long have been known to be decidable there has until now been a lack of efficient and truly on-the-fly algorithms for their analysis. The algorithm we propose [CDFLL05] is a symbolic extension of the on-the-fly algorithm suggested by Liu & Smolka [LS98] for linear-time model-checking of finite-state systems. Being on-the-fly, the symbolic algorithm may terminate long before having explored the entire state-space. Also the individual steps of the algorithm are carried out efficiently by the use of so-called zones as the underlying data structure. Our tool implements various optimizations of the basic symbolic algorithm, as well as methods for obtaining time-optimal winning strategies (for reachability games).
Homepage: http://people.cs.aau.dk/~adavid/tiga/
Dependencies: Uppaal
Related Software: Uppaal; PRISM; Synthia; HyTech; PRISM-games; Kronos; PHAVer; CMC; ECDAR; NuSMV; Simulink; DiVinE; MRMC; Acacia+; PPL; SPIN; TINA; Romeo; Casaal; GEZEL
Referenced in: 44 Publications
all top 5

Referenced by 95 Authors

14 Larsen, Kim Guldstrand
7 David, Alexandre
6 Legay, Axel
6 Lime, Didier
6 Wąsowski, Andrzej
5 Bouyer, Patricia
5 Markey, Nicolas
4 Cassez, Franck
4 Raskin, Jean-François
4 Roux, Olivier H.
3 Dingel, Juergen
3 Fahrenberg, Uli
3 Forejt, Vojtěch
3 Kwiatkowska, Marta Z.
3 Norman, Gethin
3 Nyman, Ulrik
3 Reynier, Pierre-Alain
3 Rudie, Karen
3 Waez, Md Tawhid Bin
2 Brenguier, Romain
2 Bulychev, Peter E.
2 Jovanović, Aleksandra Ž.
2 Peter, Hans-Jörg
2 Srba, Jiří
1 Bacci, Giovanni
1 Béchennec, Jean-Luc
1 Bérard, Béatrice
1 Bersani, Marcello Maria
1 Bertrand, Nathalie
1 Bourke, Timothy
1 Buckl, Christian
1 Chen, Mingshuai
1 Chen, Taolue
1 Cheng, Chih-Hong
1 Cimatti, Alessandro
1 Della Penna, Giuseppe
1 Dräger, Klaus
1 Drechsler, Rolf
1 Duflot, Marie
1 Ehlers, Rüdiger
1 Fang, Huixing
1 Finkbeiner, Bernd
1 Fränzle, Martin
1 Fraser, Douglas
1 Giaquinta, Ruben
1 Haddad, Serge
1 Hoffmann, Ruth
1 Hunsberger, Luke
1 Intrigila, Benedetto
1 Ireland, Murray
1 Jensen, Peter Gjøl
1 Jessen, Jan J.
1 Knoll, Alois C.
1 Lafourcade, Pascal
1 Li, Guangyuan
1 Li, Yangjia
1 Magazzeni, Daniele
1 Majumdar, Rupak
1 Mattmüller, Robert
1 Melatti, Igor
1 Menghi, Claudio
1 Micheli, Andrea
1 Mikucionis, Marius
1 Miller, Alice Ann
1 Millet, Laure
1 Mosaad, Peter N.
1 Pelliccione, Patrizio
1 Perrin, Nicolas
1 Pinchinat, Sophie
1 Posenato, Roberto
1 Potop-Butucaru, Maria Gradinariu
1 Raclet, Jean-Baptiste
1 Renault, Gabriel
1 Reniers, Michel Adriaan
1 Rossi, Matteo A. C.
1 Roveri, Marco
1 Rueß, Harald
1 Schiffelers, Ramon
1 Schlehuber-Caissier, Philipp
1 Simaitis, Aistis
1 Soldo, Matteo
1 Sproston, Jeremy
1 Taankvist, Jakob Haahr
1 Thierry-Mieg, Yann
1 Thrane, Claus R.
1 Tixeuil, Sébastien
1 Traonouez, Louis-Marie
1 Trivedi, Ashutosh
1 Tronci, Enrico
1 Ujma, Mateusz
1 van der Sanden, Bram
1 van Putten, Berend Jan Christiaan
1 Voeten, Jeroen P. M.
1 Zhan, Naijun
1 Zhang, Zhengkui

Referencing Publications by Year