Assume-Guarantee Synthesis for Prompt Linear Temporal Logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Dates et versions

hal-03410674 , version 1 (01-11-2021)

Identifiants

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

CNRS
6 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More