Get started
Author

Benjamin Aminof

Parameterized Model Checking of Token-Passing Systems
2014 · Benjamin Aminof, Swen Jacobs, et al. · Lecture notes in computer science · 51
Parameterized model checking of rendezvous systems
2017 · Benjamin Aminof, Tomer Kotek, et al. · Distributed Computing · 46
PDF
Parameterized Model Checking of Rendezvous Systems
2014 · Benjamin Aminof, Tomer Kotek, et al. · Lecture notes in computer science · 44
Reasoning about online algorithms with weighted automata
2010 · Benjamin Aminof, Orna Kupferman, et al. · ACM Transactions on Algorithms · 39
Planning under LTL Environment Specifications
2019 · Benjamin Aminof, Giuseppe De Giacomo, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 36
PDF
Improved model checking of hierarchical systems
2011 · Benjamin Aminof, Orna Kupferman, et al. · Information and Computation · 36
Probabilistic Strategy Logic
2019 · Benjamin Aminof, Marta Kwiatkowska, et al. · International Joint Conference on Artificial Intelligence · 33
PDF
Verification of Asynchronous Mobile-Robots in Partially-Known Environments
2015 · Benjamin Aminof, Aniello Murano, et al. · Lecture notes in computer science · 30
PDF
Pushdown module checking with imperfect information
2012 · Benjamin Aminof, Axel Legay, et al. · Information and Computation · 30
Graded modalities in Strategy Logic
2018 · Benjamin Aminof, Vadim Malvone, et al. · Information and Computation · 25
PDF
Synthesis of hierarchical systems
2013 · Benjamin Aminof, Fabio Mogavero, et al. · Science of Computer Programming · 22
PDF
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up
2021 · Benjamin Aminof, Giuseppe De Giacomo, et al. · International Joint Conference on Artificial Intelligence · 21
PDF
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
2017 · Benjamin Aminof, Sasha Rubin, et al. · Lecture notes in computer science · 21
PDF
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria
2016 · Benjamin Aminof, Vadim Malvone, et al. · Adaptive Agents and Multi-Agents Systems · 20
Liveness of Parameterized Timed Networks
2015 · Benjamin Aminof, Sasha Rubin, et al. · Lecture notes in computer science · 20
Prompt alternating-time epistemic logics
2016 · Benjamin Aminof, Aniello Murano, et al. · Principles of Knowledge Representation and Reasoning · 19
Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains
2020 · Benjamin Aminof, Giuseppe De Giacomo, et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 18
PDF
First-cycle games
2016 · Benjamin Aminof, Sasha Rubin · Information and Computation · 18
PDF
Pushdown Module Checking with Imperfect Information
2007 · Benjamin Aminof, Aniello Murano, et al. · Lecture notes in computer science · 18
Reasoning About Systems with Transition Fairness
2005 · Benjamin Aminof, Thomas Ball, et al. · Lecture notes in computer science · 17
Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments
2016 · Benjamin Aminof, Aniello Murano, et al. · Adaptive Agents and Multi-Agents Systems · 16
Synthesizing Best-effort Strategies under Multiple Environment Specifications
2021 · Benjamin Aminof, Giuseppe De Giacomo, et al. · Principles of Knowledge Representation and Reasoning · 15
PDF
On the Expressive Power of Communication Primitives in Parameterised Systems
2015 · Benjamin Aminof, Sasha Rubin, et al. · Lecture notes in computer science · 14
PDF
First Cycle Games
2014 · Benjamin Aminof, Sasha Rubin · Electronic Proceedings in Theoretical Computer Science · 14
Synthesizing strategies under expected and exceptional environment behaviors
2020 · Benjamin Aminof, Giuseppe De Giacomo, et al. · International Joint Conference on Artificial Intelligence · 12
PDF
Works count: 68
Citation count: 769
H-index: 18
I10-index: 30
Year
Topic
Type