par Filiot, Emmanuel
;Jecker, Ismaël Robin
;Lhote, Nathan
;Perez, Guillermo A.
;Raskin, Jean-François 
Référence Proceedings - Symposium on Logic in Computer Science, 8005096
Publication Publié, 2017-08





Référence Proceedings - Symposium on Logic in Computer Science, 8005096
Publication Publié, 2017-08
Article révisé par les pairs
Titre: |
|
Auteur: | Filiot, Emmanuel; Jecker, Ismaël Robin; Lhote, Nathan; Perez, Guillermo A.; Raskin, Jean-François |
Informations sur la publication: | Proceedings - Symposium on Logic in Computer Science, 8005096 |
Statut de publication: | Publié, 2017-08 |
Sujet CREF: | Logique mathématique |
Mots-clés: | Determinization |
Regret | |
Weighted Automata | |
Note générale: | SCOPUS: cp.p |
Langue: | Anglais |
Identificateurs: | urn:issn:1043-6871 |
info:doi/10.1109/LICS.2017.8005096 | |
info:scp/85034051923 |