Benjamin Aminof
7 papers · 2019–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🌉 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
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