par Chakraborty, Debraj
;Busatto-Gaston, Damien
;Raskin, Jean-François
;Perez, Guillermo A. ![](/vufind/images/ULB/publications_list.png)
Référence Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2023-May, page (1354-1362)
Publication Publié, 2023-06-01
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
Référence Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2023-May, page (1354-1362)
Publication Publié, 2023-06-01
Article révisé par les pairs
Titre: |
|
Auteur: | Chakraborty, Debraj; Busatto-Gaston, Damien; Raskin, Jean-François; Perez, Guillermo A. |
Informations sur la publication: | Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2023-May, page (1354-1362) |
Statut de publication: | Publié, 2023-06-01 |
Sujet CREF: | Généralités |
Mots-clés: | Formal methods |
Markov decision processes | |
Model checking | |
Monte Carlo tree search | |
Neural networks | |
Note générale: | SCOPUS: cp.p |
Langue: | Anglais |
Identificateurs: | urn:issn:1548-8403 |
info:scp/85161601036 |