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
;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
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 |
