Communication Dans Un Congrès
Année : 2020
Nathanaël Fijalkow : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03410674
Soumis le : lundi 1 novembre 2021-13:34:26
Dernière modification le : vendredi 24 mars 2023-14:53:23
Citer
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi. Assume-Guarantee Synthesis for Prompt Linear Temporal Logic. International Joint Conference on Artificial Intelligence, IJCAI, 2020, NA, France. ⟨10.24963/ijcai.2020/17⟩. ⟨hal-03410674⟩
Collections
6
Consultations
0
Téléchargements