par Bouyer, Patricia P.;Markey, Nicolas N.;Sankur, Ocan
Référence Theoretical computer science, 563, C, page (43-74)
Publication Publié, 2015
Article révisé par les pairs
Titre:
  • Robust reachability in timed automata and games: A game-based approach
Auteur:Bouyer, Patricia P.; Markey, Nicolas N.; Sankur, Ocan
Informations sur la publication:Theoretical computer science, 563, C, page (43-74)
Statut de publication:Publié, 2015
Sujet CREF:Informatique générale
Informatique mathématique
Mots-clés:Model-checking
Robustness
Timed automata
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0304-3975
info:doi/10.1016/j.tcs.2014.08.014
info:pii/S0304397514006355
info:scp/84926388883