Finite Automata and Well Ordered Sets. - Sasha Rubin (New Zealand Computer Science Research Students' Conference, 1999)

Graphs with Automatic Presentations over a Unary Alphabet. - Bakhadyr Khoussainov; Sasha Rubin (J. Autom. Lang. Comb., 2001)

Some Results on Automatic Structures. - Hajime Ishihara; Bakhadyr Khoussainov; Sasha Rubin (LICS, 2002)

On Automatic Partial Orders. - Bakhadyr Khoussainov; Sasha Rubin; Frank Stephan 001 (LICS, 2003)

Automatic Structures: Overview and Future Directions. - Bakhadyr Khoussainov; Sasha Rubin (J. Autom. Lang. Comb., 2003)

Verifying omega-Regular Properties of Markov Chains. - Doron Bustan; Sasha Rubin; Moshe Y. Vardi (CAV, 2004)

Definability and Regularity in Automatic Structures. - Bakhadyr Khoussainov; Sasha Rubin; Frank Stephan 001 (STACS, 2004)

Decidability of Term Algebras Extending Partial Algebras. - Bakhadyr Khoussainov; Sasha Rubin (CSL, 2005)

Automatic linear orders and trees. - Bakhadyr Khoussainov; Sasha Rubin; Frank Stephan 001 (ACM Trans. Comput. Log., 2005)

Automatic Structures: Richness and Limitations. - Bakhadyr Khoussainov; André Nies; Sasha Rubin; Frank Stephan 001 (Log. Methods Comput. Sci., 2007)

Order-Invariant MSO is Stronger than Counting MSO in the Finite. - Tobias Ganzow; Sasha Rubin (STACS, 2008)

Cardinality and counting quantifiers on omega-automatic structures. - Lukasz Kaiser; Sasha Rubin; Vince Bárány (STACS, 2008)

Automata Presenting Structures: A Survey of the Finite String Case. - Sasha Rubin (Bull. Symb. Log., 2008)

Automata-based presentations of infinite structures. - Vince Bárány; Erich Grädel; Sasha Rubin (Finite and Algorithmic Model Theory, 2011)

Interpretations in Trees with Countably Many Branches. - Alexander Rabinovich; Sasha Rubin (LICS, 2012)

A Myhill-Nerode theorem for automata with advice - Alex Kruckman; Sasha Rubin; John Sheridan; Ben Zax (GandALF, 2012)

How to Travel between Languages. - Krishnendu Chatterjee; Siddhesh Chaubal; Sasha Rubin (LATA, 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)

Alternating traps in Muller and parity games. - Andrey Grinshpun; Pakawat Phalitnonkiat; Sasha Rubin; Andrei Tarfulea (Theor. Comput. Sci., 2014)

Parameterised Verification of Autonomous Mobile-Agents in Static but Unknown Environments. - Sasha Rubin (AAMAS, 2015)

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)

Multi-agent Path Planning in Known Dynamic Environments. - Aniello Murano; Giuseppe Perelli; Sasha Rubin (PRIMA, 2015)

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

Decidability of Parameterized Verification - Roderick Bloem; Swen Jacobs; Ayrat Khalimov 001; Igor Konnov 001; Sasha Rubin; Helmut Veith; Josef Widder (Morgan & Claypool Publishers, 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)

Imperfect-Information Games and Generalized Planning. - Giuseppe De Giacomo; Aniello Murano; Sasha Rubin; Antonio Di Stasio 001 (IJCAI, 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)

Decidability in Parameterized Verification. - Roderick Bloem; Swen Jacobs; Ayrat Khalimov 001; Igor Konnov 001; Sasha Rubin; Helmut Veith; Josef Widder (SIGACT News, 2016)

Verification of Multi-agent Systems with Imperfect Information and Public Actions. - Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (AAMAS, 2017)

Nash Equilibria in Concurrent Games with Lexicographic Preferences. - Julian Gutierrez 001; Aniello Murano; Giuseppe Perelli; Sasha Rubin; Michael J. Wooldridge (IJCAI, 2017)

Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. - Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (IJCAI, 2017)

Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. - Blai Bonet; Giuseppe De Giacomo; Hector Geffner; Sasha Rubin (IJCAI, 2017)

Decidable Verification of Multi-agent Systems with Bounded Private Actions. - Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (AAMAS, 2018)

Quantifying Bounds in Strategy Logic. - Nathanaël Fijalkow; Bastien Maubert; Aniello Murano; Sasha Rubin (CSL, 2018)

Graded CTL* over Finite Paths. - Loredana Sorrentino; Sasha Rubin; Aniello Murano (ICTCS, 2018)

Alternating-time Temporal Logic on Finite Traces. - Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (IJCAI, 2018)

Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. - Giuseppe De Giacomo; Sasha Rubin (IJCAI, 2018)

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

Changing Observations in Epistemic Temporal Logic. - Aurèle Barrière; Bastien Maubert; 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)

Reasoning about Changes of Observational Power in Logics of Knowledge and Time. - Aurèle Barrière; Bastien Maubert; Aniello Murano; Sasha Rubin (AAMAS, 2019)

Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. - Bastien Maubert; Aniello Murano; Pasquale Perillo; Sasha Rubin; Alessio Spasiano (ICTCS, 2019)

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

Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. - Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (PRIMA, 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)

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)

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. - Giuseppe De Giacomo; Antonio Di Stasio 001; Francesco Fuggitti; Sasha Rubin (IJCAI, 2020)

High-level Programming via Generalized Planning and LTL Synthesis. - Blai Bonet; Giuseppe De Giacomo; Hector Geffner; Fabio Patrizi; Sasha Rubin (KR, 2020)

Verification of multi-agent systems with public actions against strategy logic. - Francesco Belardinelli; Alessio Lomuscio; Aniello Murano; Sasha Rubin (Artif. Intell., 2020)

Optimal Strategies in Weighted Limit Games (full version). - Aniello Murano; Sasha Rubin; Martin Zimmermann 002 (CoRR, 2020)

Optimal Strategies in Weighted Limit Games. - Aniello Murano; Sasha Rubin; Martin Zimmermann 002 (GandALF, 2020)

Model-checking graded computation-tree logic with finite path semantics. - Aniello Murano; Mimmo Parente; Sasha Rubin; Loredana Sorrentino (Theor. Comput. Sci., 2020)

Preface. - Aniello Murano; Sasha Rubin (Theor. Comput. Sci., 2020)

Automatic structures. - Sasha Rubin (Handbook of Automata Theory (II.), 2021)

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

Reasoning About Agents That May Know Other Agents' Strategies. - Francesco Belardinelli; Sophia Knight; Alessio Lomuscio; Bastien Maubert; Aniello Murano; 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)

Equilibria for games with combined qualitative and quantitative objectives. - Julian Gutierrez 001; Aniello Murano; Giuseppe Perelli; Sasha Rubin; Thomas Steeples; Michael J. Wooldridge (Acta Informatica, 2021)

Sufficient reasons for classifier decisions in the presence of constraints. - Niku Gorji; Sasha Rubin (CoRR, 2021)

Preface. - Wiebe van der Hoek; Bastien Maubert; Aniello Murano; Sasha Rubin (Inf. Comput., 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)

Strategy Logic with Imperfect Information. - Raphaël Berthon; Bastien Maubert; Aniello Murano; Sasha Rubin; Moshe Y. Vardi (ACM Trans. Comput. Log., 2021)

Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints. - Niku Gorji; Sasha Rubin (AAAI, 2022)

Formula Synthesis in Propositional Dynamic Logic with Shuffle. - Sophie Pinchinat; Sasha Rubin; François Schwarzentruber (AAAI, 2022)

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

Public and Private Affairs in Strategic Reasoning. - Nathanaël Fijalkow; Bastien Maubert; Aniello Murano; Sasha Rubin; Moshe Y. Vardi (KR, 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)

Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas. - Giovanni Pagliarini; Andrea Paradiso; Sasha Rubin; Guido Sciavicco; Ionel Eduard Stan (OVERLAY@AI*IA, 2023)

Logical aspects of multi-agent systems. - Bastien Maubert; Aniello Murano; Sasha Rubin (Ann. Math. Artif. Intell., 2023)

Planning with Object Creation. - Augusto B. Corrêa; Giuseppe De Giacomo; Malte Helmert; Sasha Rubin (ICAPS, 2024)

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)

Reusable Formal Verification of DAG-Based Consensus Protocols. - Nathalie Bertrand 001; Pranav Ghorpade; Sasha Rubin; Bernhard Scholz; Pavle Subotic (NFM, 2025)

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)

Example-Free Learning of Regular Languages with Prefix Queries. - Eve Fernando; Sasha Rubin; Rahul Gopinath (CoRR, 2025)

Most General Explanations of Tree Ensembles (Extended Version). - Yacine Izza; Alexey Ignatiev; Sasha Rubin; João Marques-Silva 001; Peter J. Stuckey (CoRR, 2025)