UPPAAL-Tiga: Time for Playing Games!

Gerd Behrmann, Agns Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime

Browse the full CAV paper archive.