Aminof, Benjamin

7 publications

IJCAI 2025 LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi

IJCAI 2024 Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin

AAAI 2023 Reactive Synthesis of Dominant Strategies Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

IJCAI 2022 Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger

IJCAI 2021 Best-Effort Synthesis: Doing Your Best Is Not Harder than Giving up Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

IJCAI 2020 Synthesizing Strategies Under Expected and Exceptional Environment Behaviors Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin

IJCAI 2019 Probabilistic Strategy Logic Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin