Benjamin Aminof

6 papers in the IJCAI proceedings

IJCAI 2025

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces

with Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi

doi:10.24963/ijcai.2025/939

Details PDF

IJCAI 2024

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments

with Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin

doi:10.24963/ijcai.2024/358

Details PDF

IJCAI 2022

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments

with Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger

doi:10.24963/ijcai.2022/350

Details PDF

IJCAI 2021

Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up

with Giuseppe De Giacomo, Sasha Rubin

doi:10.24963/ijcai.2021/243

Details PDF

IJCAI 2020

Synthesizing strategies under expected and exceptional environment behaviors

with Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin

doi:10.24963/ijcai.2020/232

Details PDF

IJCAI 2019

Probabilistic Strategy Logic

with Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin

doi:10.24963/ijcai.2019/5

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings