Sasha Rubin

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 70

Top Venues

CoRR

IJCAI

AAMAS

Publications

Augusto B. Corrêa, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin
Planning with Object Creation. ICAPS (2024)
Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin, Bernhard Scholz, Pavle Subotic
Reusable Formal Verification of DAG-based Consensus Protocols. CoRR (2024)
Bastien Maubert, Aniello Murano, Sasha Rubin
Logical aspects of multi-agent systems. Ann. Math. Artif. Intell. 91 (4) (2023)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Reactive Synthesis of Dominant Strategies. AAAI (2023)
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
Synthesis Under Environment Specifications for Reachability and Safety Properties. EUMAS (2023)
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. CoRR (2023)
Giovanni Pagliarini, Andrea Paradiso, Sasha Rubin, Guido Sciavicco, Ionel Eduard Stan
Heuristic Minimization Modulo Theory of Modal Decision Trees Class-Formulas. OVERLAY@AI*IA (2023)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
Stochastic Best-Effort Strategies for Borel Goals. LICS (2023)
Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems. CoRR (2023)
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Verification of agent navigation in partially-known environments. Artif. Intell. 308 (2022)
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Public and Private Affairs in Strategic Reasoning. KR (2022)
Niku Gorji, Sasha Rubin
Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints. AAAI (2022)
Sophie Pinchinat, Sasha Rubin, François Schwarzentruber
Formula Synthesis in Propositional Dynamic Logic with Shuffle. AAAI (2022)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger
Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. IJCAI (2022)
Niku Gorji, Sasha Rubin
Sufficient reasons for classifier decisions in the presence of constraints. CoRR (2021)
Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin
Reasoning About Agents That May Know Other Agents' Strategies. IJCAI (2021)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
Equilibria for games with combined qualitative and quantitative objectives. Acta Informatica 58 (6) (2021)
Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin
Preface. Inf. Comput. 276 (2021)
Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Synthesizing Best-effort Strategies under Multiple Environment Specifications. KR (2021)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. IJCAI (2021)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. 22 (1) (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. 22 (1) (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. CoRR (2020)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Stochastic Fairness and Language-Theoretic Fairness in Planning in Nondeterministic Domains. ICAPS (2020)
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin
High-level Programming via Generalized Planning and LTL Synthesis. KR (2020)
Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino
Model-checking graded computation-tree logic with finite path semantics. Theor. Comput. Sci. 806 (2020)
Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Synthesizing strategies under expected and exceptional environment behaviors. IJCAI (2020)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. CoRR (2020)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Verification of multi-agent systems with public actions against strategy logic. Artif. Intell. 285 (2020)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Thomas Steeples, Michael J. Wooldridge
Equilibria for Games with Combined Qualitative and Quantitative Objectives. CoRR (2020)
Aniello Murano, Sasha Rubin, Martin Zimmermann
Optimal Strategies in Weighted Limit Games (full version). CoRR (2020)
Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. IJCAI (2020)
Aniello Murano, Sasha Rubin, Martin Zimmermann
Optimal Strategies in Weighted Limit Games. GandALF (2020)
Aniello Murano, Sasha Rubin
Preface. Theor. Comput. Sci. 815 (2020)
Bastien Maubert, Aniello Murano, Pasquale Perillo, Sasha Rubin, Alessio Spasiano
Towards a Tool for LTL Synthesis with Bounded-Energy Constraints. ICTCS (2019)
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
Reasoning about Changes of Observational Power in Logics of Knowledge and Time. AAMAS (2019)
Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin
Stochastic Fairness and Language-Theoretic Fairness in Planning on Nondeterministic Domains. CoRR (2019)
Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin
Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR (2019)
Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin
Probabilistic Strategy Logic. IJCAI (2019)
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
Planning under LTL Environment Specifications. ICAPS (2019)
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. CoRR (2019)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. PRIMA (2019)
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Parameterized model checking of rendezvous systems. Distributed Comput. 31 (3) (2018)
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Graded modalities in Strategy Logic. Inf. Comput. 261 (2018)
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
Synthesis under Assumptions. KR (2018)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. CoRR (2018)
Benjamin Aminof, Aniello Murano, Sasha Rubin
CTL* with graded path modalities. Inf. Comput. 262 (2018)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Alternating-time Temporal Logic on Finite Traces. IJCAI (2018)
Loredana Sorrentino, Sasha Rubin, Aniello Murano
Graded CTL* over Finite Paths. ICTCS (2018)
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
Changing Observations in Epistemic Temporal Logic. KR (2018)
Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin
Quantifying Bounds in Strategy Logic. CSL (2018)
Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. VMCAI (2018)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Decidable Verification of Multi-agent Systems with Bounded Private Actions. AAMAS (2018)
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
Changing Observations in Epistemic Temporal Logic. CoRR (2018)
Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin
Planning and Synthesis Under Assumptions. CoRR (2018)
Giuseppe De Giacomo, Sasha Rubin
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. IJCAI (2018)
Benjamin Aminof, Sasha Rubin
First-cycle games. Inf. Comput. 254 (2017)
Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. IJCAI (2017)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. IJCAI (2017)
Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin
Verification of Multi-agent Systems with Imperfect Information and Public Actions. AAMAS (2017)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy logic with imperfect information. LICS (2017)
Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge
Nash Equilibria in Concurrent Games with Lexicographic Preferences. IJCAI (2017)
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria. AAMAS (2016)
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Prompt Alternating-Time Epistemic Logics. KR (2016)
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
Decidability in Parameterized Verification. SIGACT News 47 (2) (2016)
Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger
Automatic Verification of Multi-Agent Systems in Parameterised Grid-Environments. AAMAS (2016)
Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio
Imperfect-Information Games and Generalized Planning. IJCAI (2016)
Benjamin Aminof, Sasha Rubin, Francesco Spegni, Florian Zuleger
Liveness of Parameterized Timed Networks. CoRR (2016)
Benjamin Aminof, Vadim Malvone, Aniello Murano, Sasha Rubin
Extended Graded Modalities in Strategy Logic. SR (2016)
Benjamin Aminof, Sasha Rubin
Model Checking Parameterised Multi-token Systems via the Composition Method. IJCAR (2016)
Benjamin Aminof, Aniello Murano, Sasha Rubin
On CTL* with Graded Path Modalities. LPAR (2015)
Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof
Verification of Asynchronous Mobile-Robots in Partially-Known Environments. PRIMA (2015)
Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni
Liveness of Parameterized Timed Networks. ICALP (2) (2015)
Sasha Rubin
Parameterised Verification of Autonomous Mobile-Agents in Static but Unknown Environments. AAMAS (2015)
Benjamin Aminof, Sasha Rubin, Florian Zuleger
On the Expressive Power of Communication Primitives in Parameterised Systems. LPAR (2015)
Aniello Murano, Giuseppe Perelli, Sasha Rubin
Multi-agent Path Planning in Known Dynamic Environments. PRIMA (2015)
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
Parameterized Model Checking of Token-Passing Systems. VMCAI (2014)
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Parameterized Model Checking of Rendezvous Systems. CONCUR (2014)
Benjamin Aminof, Sasha Rubin
First Cycle Games. SR (2014)
Benjamin Aminof, Aniello Murano, Sasha Rubin
Satisfiability and Model Checking of CTL* with Graded Path Modalities. CoRR (2014)
Andrey Grinshpun, Pakawat Phalitnonkiat, Sasha Rubin, Andrei Tarfulea
Alternating traps in Muller and parity games. Theor. Comput. Sci. 521 (2014)
Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin
Parameterized Model Checking of Token-Passing Systems. CoRR (2013)
Andrey Grinshpun, Pakawat Phalitnonkiat, Sasha Rubin, Andrei Tarfulea
Alternating Traps in Muller and Parity Games CoRR (2013)
Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin
How to Travel between Languages. LATA (2013)
Alexander Rabinovich, Sasha Rubin
Interpretations in Trees with Countably Many Branches. LICS (2012)
Alex Kruckman, Sasha Rubin, John Sheridan, Ben Zax
A Myhill-Nerode theorem for automata with advice GandALF (2012)
Lukasz Kaiser, Sasha Rubin, Vince Bárány
Cardinality and counting quantifiers on omega-automatic structures. STACS (2008)
Lukasz Kaiser, Sasha Rubin, Vince Bárány
Cardinality and counting quantifiers on omega-automatic structures CoRR (2008)
Sasha Rubin
Automata Presenting Structures: A Survey of the Finite String Case. Bull. Symb. Log. 14 (2) (2008)
Tobias Ganzow, Sasha Rubin
Order-Invariant MSO is Stronger than Counting MSO in the Finite. STACS (2008)
Tobias Ganzow, Sasha Rubin
Order-Invariant MSO is Stronger than Counting MSO in the Finite CoRR (2007)
Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
Automatic Structures: Richness and Limitations. Log. Methods Comput. Sci. 3 (2) (2007)
Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
Automatic Structures: Richness and Limitations CoRR (2007)
Bakhadyr Khoussainov, Sasha Rubin
Decidability of Term Algebras Extending Partial Algebras. CSL (2005)
Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
Automatic linear orders and trees. ACM Trans. Comput. Log. 6 (4) (2005)
Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
Definability and Regularity in Automatic Structures. STACS (2004)
Doron Bustan, Sasha Rubin, Moshe Y. Vardi
Verifying omega-Regular Properties of Markov Chains. CAV (2004)
Bakhadyr Khoussainov, André Nies, Sasha Rubin, Frank Stephan
Automatic Structures: Richness and Limitations. LICS (2004)
Bakhadyr Khoussainov, Sasha Rubin
Automatic Structures: Overview and Future Directions. J. Autom. Lang. Comb. 8 (2) (2003)
Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan
On Automatic Partial Orders. LICS (2003)

Sasha Rubin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sasha Rubin