Sasha Rubin

According to our database, Sasha Rubin authored at least 91 papers between 1999 and 2024.

Collaborative distances:

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

2024

Reusable Formal Verification of DAG-based Consensus Protocols.

Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic

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

Planning with Object Creation.

Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin

Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024

2023

Logical aspects of multi-agent systems.

Bastien Maubert, Aniello Murano, Sasha Rubin

Ann. Math. Artif. Intell., August, 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

Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas.

Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 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

Public and Private Affairs in Strategic Reasoning.

Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 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

Formula Synthesis in Propositional Dynamic Logic with Shuffle.

Sophie Pinchinat, Sasha Rubin, François Schwarzentruber

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints.

Niku Gorji, Sasha Rubin

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Strategy Logic with Imperfect Information.

Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi

ACM Trans. Comput. Log., 2021

Alternating Tree Automata with Qualitative Semantics.

Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre

ACM Trans. Comput. Log., 2021

Preface.

Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin

Inf. Comput., 2021

Sufficient reasons for classifier decisions in the presence of constraints.

Niku Gorji, Sasha Rubin

CoRR, 2021

Equilibria for games with combined qualitative and quantitative objectives.

Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge

Acta Informatica, 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

Reasoning About Agents That May Know Other Agents' Strategies.

Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 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

Automatic structures.

Sasha Rubin

Proceedings of the Handbook of Automata Theory., 2021

2020

Preface.

Aniello Murano, Sasha Rubin

Theor. Comput. Sci., 2020

Model-checking graded computation-tree logic with finite path semantics.

Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino

Theor. Comput. Sci., 2020

Optimal Strategies in Weighted Limit Games.

Aniello Murano, Sasha Rubin, Martin Zimmermann

Proceedings of the Proceedings 11th International Symposium on Games, 2020

Optimal Strategies in Weighted Limit Games (full version).

Aniello Murano, Sasha Rubin, Martin Zimmermann

CoRR, 2020

Verification of multi-agent systems with public actions against strategy logic.

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Artif. Intell., 2020

High-level Programming via Generalized Planning and LTL Synthesis.

Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces.

Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 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

Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable.

Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin

CoRR, 2019

Imperfect Information in Alternating-Time Temporal Logic on Finite Traces.

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 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

Towards a Tool for LTL Synthesis with Bounded-Energy Constraints.

Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Reasoning about Changes of Observational Power in Logics of Knowledge and Time.

Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 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

Changing Observations in Epistemic Temporal Logic.

Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 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

Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals.

Giuseppe De Giacomo, Sasha Rubin

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Alternating-time Temporal Logic on Finite Traces.

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Graded CTL* over Finite Paths.

Loredana Sorrentino, Sasha Rubin, Aniello Murano

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

Quantifying Bounds in Strategy Logic.

Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

Decidable Verification of Multi-agent Systems with Bounded Private Actions.

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints.

Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic.

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Nash Equilibria in Concurrent Games with Lexicographic Preferences.

Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Verification of Multi-agent Systems with Imperfect Information and Public Actions.

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Decidability in Parameterized Verification.

Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder

SIGACT News, 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

Imperfect-Information Games and Generalized Planning.

Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 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

Decidability of Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder

Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02011-7, 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

Multi-agent Path Planning in Known Dynamic Environments.

Aniello Murano, Giuseppe Perelli, Sasha Rubin

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

Parameterised Verification of Autonomous Mobile-Agents in Static but Unknown Environments.

Sasha Rubin

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Alternating traps in Muller and parity games.

Andrey Grinshpun, Pakawat Phalitnonkiat, Sasha Rubin, Andrei Tarfulea

Theor. Comput. Sci., 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

How to Travel between Languages.

Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin

Proceedings of the Language and Automata Theory and Applications, 2013

2012

A Myhill-Nerode theorem for automata with advice

Alex Kruckman, Sasha Rubin, John Sheridan, Ben Zax

Proceedings of the Proceedings Third International Symposium on Games, 2012

Interpretations in Trees with Countably Many Branches.

Alexander Rabinovich, Sasha Rubin

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2011

Automata-based presentations of infinite structures.

Vince Bárány, Erich Grädel, Sasha Rubin

Proceedings of the Finite and Algorithmic Model Theory., 2011

2008

Automata Presenting Structures: A Survey of the Finite String Case.

Sasha Rubin

Bull. Symb. Log., 2008

Cardinality and counting quantifiers on omega-automatic structures.

Lukasz Kaiser, Sasha Rubin, Vince Bárány

Proceedings of the STACS 2008, 2008

Order-Invariant MSO is Stronger than Counting MSO in the Finite.

Tobias Ganzow, Sasha Rubin

Proceedings of the STACS 2008, 2008

2007

Automatic Structures: Richness and Limitations.

Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan

Log. Methods Comput. Sci., 2007

2005

Automatic linear orders and trees.

Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan

ACM Trans. Comput. Log., 2005

Decidability of Term Algebras Extending Partial Algebras.

Bakhadyr Khoussainov, Sasha Rubin

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2004

Definability and Regularity in Automatic Structures.

Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan

Proceedings of the STACS 2004, 2004

Verifying omega-Regular Properties of Markov Chains.

Doron Bustan, Sasha Rubin, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Automatic Structures: Overview and Future Directions.

Bakhadyr Khoussainov, Sasha Rubin

J. Autom. Lang. Comb., 2003

On Automatic Partial Orders.

Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2002

Some Results on Automatic Structures.

Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

2001

Graphs with Automatic Presentations over a Unary Alphabet.

Bakhadyr Khoussainov, Sasha Rubin

J. Autom. Lang. Comb., 2001

1999

Finite Automata and Well Ordered Sets.

Sasha Rubin

Proceedings of the Third New Zealand Computer Science Research Students' Conference, 1999