par Le Roux, Stephane 
;Pauly, Arno ;Raskin, Jean-François
Référence ACM transactions on computational logic, 19, 3, 20
Publication Publié, 2018-08
;Pauly, Arno ;Raskin, Jean-François Référence ACM transactions on computational logic, 19, 3, 20
Publication Publié, 2018-08
Article révisé par les pairs
| Titre: |
|
| Auteur: | Le Roux, Stephane; Pauly, Arno; Raskin, Jean-François |
| Informations sur la publication: | ACM transactions on computational logic, 19, 3, 20 |
| Statut de publication: | Publié, 2018-08 |
| Sujet CREF: | Informatique mathématique |
| Logique mathématique | |
| Informatique générale | |
| Mots-clés: | (stochastic) determinacy |
| CoNPcomplete | |
| Control in ℝd | |
| Polytopic/arbitrary | |
| Undecidable | |
| Note générale: | SCOPUS: ar.j |
| Langue: | Anglais |
| Identificateurs: | urn:issn:1529-3785 |
| info:doi/10.1145/3230741 | |
| info:scp/85053185562 |
