par Busatto-Gaston, Damien ;Chakraborty, Debraj ;Majumdar, Anirban ;Mukherjee, Sayan ;Perez, Guillermo A. ;Raskin, Jean-François
Référence Lecture notes in computer science, 14215 LNCS, page (203-223)
Publication Publié, 2023-10-22
Référence Lecture notes in computer science, 14215 LNCS, page (203-223)
Publication Publié, 2023-10-22
Article révisé par les pairs
Titre: |
|
Auteur: | Busatto-Gaston, Damien; Chakraborty, Debraj; Majumdar, Anirban; Mukherjee, Sayan; Perez, Guillermo A.; Raskin, Jean-François |
Informations sur la publication: | Lecture notes in computer science, 14215 LNCS, page (203-223) |
Statut de publication: | Publié, 2023-10-22 |
Sujet CREF: | Informatique mathématique |
Informatique générale | |
Mots-clés: | Markov decision processes |
Multi-objective | |
Synthesis | |
Note générale: | SCOPUS: cp.k |
Langue: | Anglais |
Identificateurs: | urn:issn:0302-9743 |
info:doi/10.1007/978-3-031-45329-8_10 | |
info:scp/85175994640 |