Benjamin Aminof

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 27

Top Topics

Epistemic Logic

Perfect Information

Nondeterministic Domains

Top Venues

Publications

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Reactive Synthesis of Dominant Strategies. AAAI (2023)
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
Synthesis Under Environment Specifications for Reachability and Safety Properties. EUMAS (2023)
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. CoRR (2023)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
Stochastic Best-Effort Strategies for Borel Goals. LICS (2023)
Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems. CoRR (2023)
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Verification of agent navigation in partially-known environments. Artif. Intell. 308 (2022)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. IJCAI (2022)
Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR (2021)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. IJCAI (2021)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains. ICAPS (2020)
Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Synthesizing strategies under expected and exceptional environment behaviors. IJCAI (2020)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains. CoRR (2019)
Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin
Probabilistic Strategy Logic. IJCAI (2019)
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
Planning under LTL Environment Specifications. ICAPS (2019)
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Parameterized model checking of rendezvous systems. Distributed Comput. 31 (3) (2018)
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Graded modalities in Strategy Logic. Inf. Comput. 261 (2018)
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
Synthesis under Assumptions. KR (2018)
Benjamin Aminof, Aniello Murano, Sasha Rubin
CTL* with graded path modalities. Inf. Comput. 262 (2018)
Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. VMCAI (2018)
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
Planning and Synthesis Under Assumptions. CoRR (2018)
Benjamin Aminof, Sasha Rubin
First-cycle games. Inf. Comput. 254 (2017)
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. AAMAS (2016)
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Prompt Alternating-Time Epistemic Logics. KR (2016)
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments. AAMAS (2016)
Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
Liveness of Parameterized Timed Networks. CoRR (2016)
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Extended Graded Modalities in Strategy Logic. SR (2016)
Benjamin Aminof, Sasha Rubin
Model Checking Parameterised Multi-token Systems via the Composition Method. IJCAR (2016)
Benjamin Aminof, Aniello Murano, Sasha Rubin
On CTL* with Graded Path Modalities. LPAR (2015)
Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof
Verification of Asynchronous Mobile-Robots in Partially-Known Environments. PRIMA (2015)
Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni
Liveness of Parameterized Timed Networks. ICALP (2) (2015)
Benjamin Aminof, Sasha Rubin, Florian Zuleger
On the Expressive Power of Communication Primitives in Parameterised Systems. LPAR (2015)
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
Parameterized Model Checking of Token-Passing Systems. VMCAI (2014)
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Parameterized Model Checking of Rendezvous Systems. CONCUR (2014)
Benjamin Aminof, Sasha Rubin
First Cycle Games. SR (2014)
Benjamin Aminof, Aniello Murano, Sasha Rubin
Satisfiability and Model Checking of CTL* with Graded Path Modalities. CoRR (2014)
Benjamin Aminof, Fabio Mogavero, Aniello Murano
Synthesis of hierarchical systems. Sci. Comput. Program. 83 (2014)
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
Parameterized Model Checking of Token-Passing Systems. CoRR (2013)
Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi
Pushdown module checking with imperfect information. Inf. Comput. 223 (2013)
Benjamin Aminof, Orna Kupferman, Robby Lampert
Rigorous approximated determinization of weighted automata. Theor. Comput. Sci. 480 (2013)
Benjamin Aminof, Orna Kupferman, Aniello Murano
Improved model checking of hierarchical systems. Inf. Comput. 210 (2012)
Benjamin Aminof, Orna Kupferman, Robby Lampert
Formal Analysis of Online Algorithms. ATVA (2011)
Benjamin Aminof, Orna Kupferman, Robby Lampert
Rigorous Approximated Determinization of Weighted Automata. LICS (2011)
Benjamin Aminof, Fabio Mogavero, Aniello Murano
Synthesis of Hierarchical Systems. FACS (2011)
Benjamin Aminof, Orna Kupferman, Robby Lampert
Reasoning about online algorithms with weighted automata. ACM Trans. Algorithms 6 (2) (2010)
Benjamin Aminof, Orna Kupferman, Aniello Murano
Improved Model Checking of Hierarchical Systems. VMCAI (2010)
Benjamin Aminof, Orna Kupferman, Robby Lampert
Reasoning about online algorithms with weighted automata. SODA (2009)
Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre
µ-calculus Pushdown Module Checking with Imperfect State Information. IFIP TCS (2008)
Benjamin Aminof, Orna Kupferman, Omer Lev
On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata. LPAR (2008)
Benjamin Aminof, Aniello Murano, Moshe Y. Vardi
Pushdown Module Checking with Imperfect Information. CONCUR (2007)
Benjamin Aminof, Orna Kupferman
On the Succinctness of Nondeterminism. ATVA (2006)
Benjamin Aminof, Thomas Ball, Orna Kupferman
Reasoning About Systems with Transition Fairness. LPAR (2004)