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