Titre:
  • Synthesising Succinct Strategies in Safety Games with an Application to Real-time Scheduling
Auteur:Geeraerts, Gilles; Goossens, Joël; Nguyen, Thi-Van-Anh; Stainer, Amélie
Informations sur la publication:Theoretical computer science
Statut de publication:Publié, 2017-06-17
Sujet CREF:Sciences exactes et naturelles
Langue:Français
Identificateurs:urn:issn:0304-3975
info:doi/10.1016/j.tcs.2017.06.004