Benjamin Aminof

According to our database, Benjamin Aminof authored at least 47 papers between 2004 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

ltl synthesis under environment specifications for reachability and safety properties.

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

Inf. Comput., 2025

2024

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces.

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi

CoRR, 2024

Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis.

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Probabilistic Synthesis and Verification for LTL on Finite Traces.

Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

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

Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

2023

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems.

Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger

CoRR, 2023

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties.

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

CoRR, 2023

Stochastic Best-Effort Strategies for Borel Goals.

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

sc ltl_f Synthesis Under Environment Specifications for Reachability and Safety Properties.

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Reactive Synthesis of Dominant Strategies.

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Verification of agent navigation in partially-known environments.

Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger

Artif. Intell., 2022

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments.

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Synthesizing Best-effort Strategies under Multiple Environment Specifications.

Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

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

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020

Synthesizing strategies under expected and exceptional environment behaviors.

Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains.

Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Probabilistic Strategy Logic.

Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Planning under LTL Environment Specifications.

Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

CTL* with graded path modalities.

Benjamin Aminof, Aniello Murano, Sasha Rubin

Inf. Comput., 2018

Graded modalities in Strategy Logic.

Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin

Inf. Comput., 2018

Parameterized model checking of rendezvous systems.

Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith

Distributed Comput., 2018

Planning and Synthesis Under Assumptions.

Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin

CoRR, 2018

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction.

Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Synthesis under Assumptions.

Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2016

Extended Graded Modalities in Strategy Logic.

Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin

Proceedings of the 4th International Workshop on Strategic Reasoning, 2016

Prompt Alternating-Time Epistemic Logics.

Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Model Checking Parameterised Multi-token Systems via the Composition Method.

Benjamin Aminof, Sasha Rubin

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments.

Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria.

Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Verification of Asynchronous Mobile-Robots in Partially-Known Environments.

Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

On the Expressive Power of Communication Primitives in Parameterised Systems.

Benjamin Aminof, Sasha Rubin, Florian Zuleger

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Liveness of Parameterized Timed Networks.

Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014

Synthesis of hierarchical systems.

Benjamin Aminof, Fabio Mogavero, Aniello Murano

Sci. Comput. Program., 2014

First Cycle Games.

Benjamin Aminof, Sasha Rubin

Proceedings of the Proceedings 2nd International Workshop on Strategic Reasoning, 2014

Satisfiability and Model Checking of CTL* with Graded Path Modalities.

Benjamin Aminof, Aniello Murano, Sasha Rubin

CoRR, 2014

Parameterized Model Checking of Token-Passing Systems.

Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2013

Rigorous approximated determinization of weighted automata.

Benjamin Aminof, Orna Kupferman, Robby Lampert

Theor. Comput. Sci., 2013

Pushdown module checking with imperfect information.

Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Y. Vardi

Inf. Comput., 2013

2012

Improved model checking of hierarchical systems.

Benjamin Aminof, Orna Kupferman, Aniello Murano

Inf. Comput., 2012

2011

Formal Analysis of Online Algorithms.

Benjamin Aminof, Orna Kupferman, Robby Lampert

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Reasoning about online algorithms with weighted automata.

Benjamin Aminof, Orna Kupferman, Robby Lampert

ACM Trans. Algorithms, 2010

2009

Translations among automata on infinite objects and their applications (עם תקציר בעברית ושער נוסף: תרגומים בין סוגים שונים של אוטומטים מעל עצמים אינסופיים ויישומיהם.; תרגומים בין סוגים שונים של אוטומטים מעל עצמים אינסופיים ויישומיהם.).

Benjamin Aminof

PhD thesis, 2009

2008

On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata.

Benjamin Aminof, Orna Kupferman, Omer Lev

Proceedings of the Logic for Programming, 2008

µ-calculus Pushdown Module Checking with Imperfect State Information.

Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007

Pushdown Module Checking with Imperfect Information.

Benjamin Aminof, Aniello Murano, Moshe Y. Vardi

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

On the Succinctness of Nondeterminism.

Benjamin Aminof, Orna Kupferman

Proceedings of the Automated Technology for Verification and Analysis, 2006

2004

Reasoning About Systems with Transition Fairness.

Benjamin Aminof, Thomas Ball, Orna Kupferman

Proceedings of the Logic for Programming, 2004