Assume-Guarantee Synthesis for Prompt Linear Temporal Logic.

Nathanal Fijalkow, Bastien Maubert, Aniello Murano, Moshe Y. Vardi

Browse the full IJCAI paper archive.