Benjamin Aminof
7 papers · 2019–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird 🧬 Topic Evolution
🔥
Unstoppable · Bronze
Top co-authors
Research topics
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