Article révisé par les pairs
Titre :
  • Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints
Auteur : Brihaye, Thomas ; Doyen, Laurent ; Geeraerts, Gilles ; Ouaknine, J. ; Raskin, Jean-François ; Worrell, J.
Informations sur la publication : Lecture Notes in Computer Science, 8172, (page 55-70)
Statut de publication : Publié, 2013
Sujet CREF : Informatique générale
Note : Proceedings of AT- VA’13, 11th International Symposium on Automated Technology for Verification and Analysis
Langue :
  • Anglais
Identificateurs : urn:issn:0302-9743