UPPAAL-Tiga: Time for Playing Games!
By G. Behrmann, A. Cougnard, Alexandre David, E. Fleury, Kim Guldstrand Larsen, D. Lime. International Conference on Computer Aided Verification, 2007
338 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software
View Paper: https://www.semanticscholar.org/paper/556e8f4e1fb132cf8c48b8ce68d02fe03829687c
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
In Computational Theory and Mathematics
In Software
Citations in the corpus
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (2008, background): “For example in the theory of TA there has been recently lots of research on extending timed automata with price/cost [60, 8, 28] and studying timed games [64, 39, 13, 12] as well as on-line testing [56, 61].”