Reasoning About Systems with Transition Fairness. - Benjamin Aminof; Thomas Ball 001; Orna Kupferman (LPAR, 2004)

On the Succinctness of Nondeterminism. - Benjamin Aminof; Orna Kupferman (ATVA, 2006)

Pushdown Module Checking with Imperfect Information. - Benjamin Aminof; Aniello Murano; Moshe Y. Vardi (CONCUR, 2007)

µ-calculus Pushdown Module Checking with Imperfect State Information. - Benjamin Aminof; Axel Legay; Aniello Murano; Olivier Serre (IFIP TCS, 2008)

On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata. - Benjamin Aminof; Orna Kupferman; Omer Lev (LPAR, 2008)

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

Reasoning about online algorithms with weighted automata. - Benjamin Aminof; Orna Kupferman; Robby Lampert (ACM Trans. Algorithms, 2010)

Formal Analysis of Online Algorithms. - Benjamin Aminof; Orna Kupferman; Robby Lampert (ATVA, 2011)

Improved model checking of hierarchical systems. - Benjamin Aminof; Orna Kupferman; Aniello Murano (Inf. Comput., 2012)

Pushdown module checking with imperfect information. - Benjamin Aminof; Axel Legay; Aniello Murano; Olivier Serre; Moshe Y. Vardi (Inf. Comput., 2013)

Rigorous approximated determinization of weighted automata. - Benjamin Aminof; Orna Kupferman; Robby Lampert (Theor. Comput. Sci., 2013)

Parameterized Model Checking of Token-Passing Systems. - Benjamin Aminof; Swen Jacobs; Ayrat Khalimov 001; Sasha Rubin (VMCAI, 2014)

Satisfiability and Model Checking of CTL* with Graded Path Modalities. - Benjamin Aminof; Aniello Murano; Sasha Rubin (CoRR, 2014)

First Cycle Games. - Benjamin Aminof; Sasha Rubin (SR, 2014)

Synthesis of hierarchical systems. - Benjamin Aminof; Fabio Mogavero; Aniello Murano (Sci. Comput. Program., 2014)

Liveness of Parameterized Timed Networks. - Benjamin Aminof; Sasha Rubin; Florian Zuleger; Francesco Spegni (ICALP (2), 2015)

On the Expressive Power of Communication Primitives in Parameterised Systems. - Benjamin Aminof; Sasha Rubin; Florian Zuleger (LPAR, 2015)

Verification of Asynchronous Mobile-Robots in Partially-Known Environments. - Sasha Rubin; Florian Zuleger; Aniello Murano; Benjamin Aminof (PRIMA, 2015)

Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. - Benjamin Aminof; Vadim Malvone; Aniello Murano; Sasha Rubin (AAMAS, 2016)

Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments. - Benjamin Aminof; Aniello Murano; Sasha Rubin; Florian Zuleger (AAMAS, 2016)

Model Checking Parameterised Multi-token Systems via the Composition Method. - Benjamin Aminof; Sasha Rubin (IJCAR, 2016)

Prompt Alternating-Time Epistemic Logics. - Benjamin Aminof; Aniello Murano; Sasha Rubin; Florian Zuleger (KR, 2016)

Extended Graded Modalities in Strategy Logic. - Benjamin Aminof; Vadim Malvone; Aniello Murano; Sasha Rubin (SR, 2016)

Synthesis under Assumptions. - Benjamin Aminof; Giuseppe De Giacomo; Aniello Murano; Sasha Rubin (KR, 2018)

Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. - Benjamin Aminof; Sasha Rubin; Ilina Stoilkovska; Josef Widder; Florian Zuleger (VMCAI, 2018)

Planning and Synthesis Under Assumptions. - Benjamin Aminof; Giuseppe De Giacomo; Aniello Murano; Sasha Rubin (CoRR, 2018)

Parameterized model checking of rendezvous systems. - Benjamin Aminof; Tomer Kotek; Sasha Rubin; Francesco Spegni; Helmut Veith (Distributed Comput., 2018)

Graded modalities in Strategy Logic. - Benjamin Aminof; Vadim Malvone; Aniello Murano; Sasha Rubin (Inf. Comput., 2018)

CTL* with graded path modalities. - Benjamin Aminof; Aniello Murano; Sasha Rubin (Inf. Comput., 2018)

Planning under LTL Environment Specifications. - Benjamin Aminof; Giuseppe De Giacomo; Aniello Murano; Sasha Rubin (ICAPS, 2019)

Probabilistic Strategy Logic. - Benjamin Aminof; Marta Kwiatkowska; Bastien Maubert; Aniello Murano; Sasha Rubin (IJCAI, 2019)

Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin (ICAPS, 2020)

Synthesizing strategies under expected and exceptional environment behaviors. - Benjamin Aminof; Giuseppe De Giacomo; Alessio Lomuscio; Aniello Murano; Sasha Rubin (IJCAI, 2020)

Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin (IJCAI, 2021)

Synthesizing Best-effort Strategies under Multiple Environment Specifications. - Benjamin Aminof; Giuseppe De Giacomo; Alessio Lomuscio; Aniello Murano; Sasha Rubin (KR, 2021)

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin; Florian Zuleger (IJCAI, 2022)

Verification of agent navigation in partially-known environments. - Benjamin Aminof; Aniello Murano; Sasha Rubin; Florian Zuleger (Artif. Intell., 2022)

Reactive Synthesis of Dominant Strategies. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin (AAAI, 2023)

sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties. - Benjamin Aminof; Giuseppe De Giacomo; Antonio Di Stasio 001; Hugo Francon; Sasha Rubin; Shufang Zhu 001 (EUMAS, 2023)

Stochastic Best-Effort Strategies for Borel Goals. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin; Florian Zuleger (LICS, 2023)

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments. - Benjamin Aminof; Giuseppe De Giacomo; Gianmarco Parretti; Sasha Rubin (IJCAI, 2024)

Probabilistic Synthesis and Verification for LTL on Finite Traces. - Benjamin Aminof; Linus Cooper; Sasha Rubin; Moshe Y. Vardi; Florian Zuleger (KR, 2024)

Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin; Florian Zuleger (KR, 2024)

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. - Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin; Moshe Y. Vardi (CoRR, 2024)

LTLf synthesis under environment specifications for reachability and safety properties. - Benjamin Aminof; Giuseppe De Giacomo; Antonio Di Stasio 001; Hugo Francon; Sasha Rubin; Shufang Zhu 001 (Inf. Comput., 2025)

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems. - Benjamin Aminof; Sasha Rubin; Francesco Spegni; Florian Zuleger (Log. Methods Comput. Sci., 2025)