Benjamin Aminof
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
13
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | Specifying Agent Strategy Spaces via LTL Synthesis. | Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
| 2025 | IJCAI | LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi |
| 2025 | KR | LTL Synthesis Under Multi-Agent Environment Assumptions. | Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin |
| 2024 | IJCAI | Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments. | Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin |
| 2024 | KR | Probabilistic Synthesis and Verification for LTL on Finite Traces. | Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger |
| 2024 | KR | Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2023 | AAAI | Reactive Synthesis of Dominant Strategies. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin |
| 2023 | EUMAS | sc ltl | Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu |
| 2023 | LICS | Stochastic Best-Effort Strategies for Borel Goals. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2022 | IJCAI | Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2021 | IJCAI | Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin |
| 2021 | KR | Synthesizing Best-effort Strategies under Multiple Environment Specifications. | Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2020 | IJCAI | Synthesizing strategies under expected and exceptional environment behaviors. | Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2019 | IJCAI | Probabilistic Strategy Logic. | Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2018 | KR | Synthesis under Assumptions. | Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
| 2018 | VMCAI | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. | Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger |
| 2016 | CADE | Model Checking Parameterised Multi-token Systems via the Composition Method. | Benjamin Aminof, Sasha Rubin |
| 2016 | KR | Prompt Alternating-Time Epistemic Logics. | Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger |
| 2015 | ICALP | Liveness of Parameterized Timed Networks. | Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni |
| 2015 | LPAR | On CTL* with Graded Path Modalities. | Benjamin Aminof, Aniello Murano, Sasha Rubin |
| 2015 | LPAR | On the Expressive Power of Communication Primitives in Parameterised Systems. | Benjamin Aminof, Sasha Rubin, Florian Zuleger |
| 2015 | PRIMA | Verification of Asynchronous Mobile-Robots in Partially-Known Environments. | Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof |
| 2014 | CONCUR | Parameterized Model Checking of Rendezvous Systems. | Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith |
| 2014 | VMCAI | Parameterized Model Checking of Token-Passing Systems. | Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin |
| 2011 | ATVA | Formal Analysis of Online Algorithms. | Benjamin Aminof, Orna Kupferman, Robby Lampert |
| 2011 | LICS | Rigorous Approximated Determinization of Weighted Automata. | Benjamin Aminof, Orna Kupferman, Robby Lampert |
| 2010 | VMCAI | Improved Model Checking of Hierarchical Systems. | Benjamin Aminof, Orna Kupferman, Aniello Murano |
| 2009 | SODA | Reasoning about online algorithms with weighted automata. | Benjamin Aminof, Orna Kupferman, Robby Lampert |
| 2008 | LPAR | On the Relative Succinctness of Nondeterministic Bchi and co-Bchi Word Automata. | Benjamin Aminof, Orna Kupferman, Omer Lev |
| 2007 | CONCUR | Pushdown Module Checking with Imperfect Information. | Benjamin Aminof, Aniello Murano, Moshe Y. Vardi |
| 2006 | ATVA | On the Succinctness of Nondeterminism. | Benjamin Aminof, Orna Kupferman |
| 2004 | LPAR | Reasoning About Systems with Transition Fairness. | Benjamin Aminof, Thomas Ball, Orna Kupferman |