Benjamin Aminof

7 papers · 2019–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (6) 🌈 Renaissance Researcher (5) 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (10) 🧬 Topic Evolution 🔥 Unstoppable (7)

Conferences

IJCAI (6) AAAI (1)

Top co-authors

Sasha Rubin (7) Giuseppe De Giacomo (6) Aniello Murano (2) Marta Kwiatkowska (1) Gianmarco Parretti (1) Florian Zuleger (1) Moshe Y. Vardi (1) Alessio Lomuscio (1) Bastien Maubert (1)

Keywords

game theory (4) formal verification (3) linear temporal logic (3) temporal logic (3) strategy synthesis (3) reactive synthesis (3) model checking (2) best-effort synthesis (2) adversarial environment (1) stochastic planning (1) best-effort optimization (1) automata theory (1) markov decision process (1) dominant strategy (1) deterministic finite automaton (1) strategic logic (1) two-player game (1) finite automaton (1) probabilistic strategy logic (1) strategic planning (1)

Papers

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

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

Reactive Synthesis of Dominant Strategies AAAI 2023

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments IJCAI 2022

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

Synthesizing strategies under expected and exceptional environment behaviors IJCAI 2020

Probabilistic Strategy Logic IJCAI 2019