UPPAAL-Tiga: Time for Playing Games!

Gerd Behrmann Agnès Cougnard Alexandre David Emmanuel Fleury Kim Guldstrand Larsen Didier Lime

Published in: CAV (2007)

Keyphrases

playing games
game design
model checking
video games
timed automata
controller synthesis
model checker
temporal logic
educational games
game play
formal specification
real time
design process
computer games
theorem prover