Sasha Rubin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
54
Venues
16
Active years
2002–2026
Best venue rank
A*
Where they publish
Papers
54 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Parameterized Verification of Asynchronous Round-Based Distributed Algorithms via Reduction to Finite-Counter Systems. | Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin |
| 2026 | KR | Specifying Agent Strategy Spaces via LTL Synthesis. | Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
| 2025 | IJCAI | LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi |
| 2025 | IJCAI | Most General Explanations of Tree Ensembles. | Yacine Izza, Alexey Ignatiev, Sasha Rubin, Joo Marques-Silva, Peter J. Stuckey |
| 2025 | KR | LTL Synthesis Under Multi-Agent Environment Assumptions. | Benjamin Aminof, Giuseppe De Giacomo, Giuseppe Perelli, Sasha Rubin |
| 2024 | ICAPS | Planning with Object Creation. | Augusto B. Corra, Giuseppe De Giacomo, Malte Helmert, Sasha Rubin |
| 2024 | IJCAI | Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments. | Benjamin Aminof, Giuseppe De Giacomo, Gianmarco Parretti, Sasha Rubin |
| 2024 | KR | Probabilistic Synthesis and Verification for LTL on Finite Traces. | Benjamin Aminof, Linus Cooper, Sasha Rubin, Moshe Y. Vardi, Florian Zuleger |
| 2024 | KR | Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2023 | AAAI | Reactive Synthesis of Dominant Strategies. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin |
| 2023 | EUMAS | sc ltl | Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu |
| 2023 | LICS | Stochastic Best-Effort Strategies for Borel Goals. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2022 | AAAI | Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints. | Niku Gorji, Sasha Rubin |
| 2022 | AAAI | Formula Synthesis in Propositional Dynamic Logic with Shuffle. | Sophie Pinchinat, Sasha Rubin, Franois Schwarzentruber |
| 2022 | IJCAI | Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger |
| 2022 | KR | Public and Private Affairs in Strategic Reasoning. | Nathanal Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi |
| 2021 | IJCAI | Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up. | Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin |
| 2021 | IJCAI | Reasoning About Agents That May Know Other Agents' Strategies. | Francesco Belardinelli, Sophia Knight, Alessio Lomuscio, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2021 | KR | Synthesizing Best-effort Strategies under Multiple Environment Specifications. | Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2020 | IJCAI | Synthesizing strategies under expected and exceptional environment behaviors. | Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2020 | IJCAI | Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. | Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin |
| 2020 | KR | High-level Programming via Generalized Planning and LTL Synthesis. | Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Fabio Patrizi, Sasha Rubin |
| 2019 | IJCAI | Probabilistic Strategy Logic. | Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2019 | PRIMA | Imperfect Information in Alternating-Time Temporal Logic on Finite Traces. | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2018 | CSL | Quantifying Bounds in Strategy Logic. | Nathanal Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2018 | IJCAI | Alternating-time Temporal Logic on Finite Traces. | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2018 | IJCAI | Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals. | Giuseppe De Giacomo, Sasha Rubin |
| 2018 | KR | Synthesis under Assumptions. | Benjamin Aminof, Giuseppe De Giacomo, Aniello Murano, Sasha Rubin |
| 2018 | KR | Changing Observations in Epistemic Temporal Logic. | Aurle Barrire, Bastien Maubert, Aniello Murano, Sasha Rubin |
| 2018 | VMCAI | Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction. | Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger |
| 2017 | IJCAI | Nash Equilibria in Concurrent Games with Lexicographic Preferences. | Julian Gutierrez, Aniello Murano, Giuseppe Perelli, Sasha Rubin, Michael J. Wooldridge |
| 2017 | IJCAI | Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. | Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin |
| 2017 | IJCAI | Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints. | Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin |
| 2017 | LICS | Strategy logic with imperfect information. | Raphal Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi |
| 2016 | CADE | Model Checking Parameterised Multi-token Systems via the Composition Method. | Benjamin Aminof, Sasha Rubin |
| 2016 | IJCAI | Imperfect-Information Games and Generalized Planning. | Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio |
| 2016 | KR | Prompt Alternating-Time Epistemic Logics. | Benjamin Aminof, Aniello Murano, Sasha Rubin, Florian Zuleger |
| 2015 | ICALP | Liveness of Parameterized Timed Networks. | Benjamin Aminof, Sasha Rubin, Florian Zuleger, Francesco Spegni |
| 2015 | LPAR | On CTL* with Graded Path Modalities. | Benjamin Aminof, Aniello Murano, Sasha Rubin |
| 2015 | LPAR | On the Expressive Power of Communication Primitives in Parameterised Systems. | Benjamin Aminof, Sasha Rubin, Florian Zuleger |
| 2015 | PRIMA | Multi-agent Path Planning in Known Dynamic Environments. | Aniello Murano, Giuseppe Perelli, Sasha Rubin |
| 2015 | PRIMA | Verification of Asynchronous Mobile-Robots in Partially-Known Environments. | Sasha Rubin, Florian Zuleger, Aniello Murano, Benjamin Aminof |
| 2014 | CONCUR | Parameterized Model Checking of Rendezvous Systems. | Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith |
| 2014 | VMCAI | Parameterized Model Checking of Token-Passing Systems. | Benjamin Aminof, Swen Jacobs, Ayrat Khalimov, Sasha Rubin |
| 2013 | LATA | How to Travel between Languages. | Krishnendu Chatterjee, Siddhesh Chaubal, Sasha Rubin |
| 2012 | LICS | Interpretations in Trees with Countably Many Branches. | Alexander Rabinovich, Sasha Rubin |
| 2008 | STACS | Order-Invariant MSO is Stronger than Counting MSO in the Finite. | Tobias Ganzow, Sasha Rubin |
| 2008 | STACS | Cardinality and counting quantifiers on omega-automatic structures. | Lukasz Kaiser, Sasha Rubin, Vince Brny |
| 2005 | CSL | Decidability of Term Algebras Extending Partial Algebras. | Bakhadyr Khoussainov, Sasha Rubin |
| 2004 | CAV | Verifying omega-Regular Properties of Markov Chains. | Doron Bustan, Sasha Rubin, Moshe Y. Vardi |
| 2004 | LICS | Automatic Structures: Richness and Limitations. | Bakhadyr Khoussainov, Andr Nies, Sasha Rubin, Frank Stephan |
| 2004 | STACS | Definability and Regularity in Automatic Structures. | Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan |
| 2003 | LICS | On Automatic Partial Orders. | Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan |
| 2002 | LICS | Some Results on Automatic Structures. | Hajime Ishihara, Bakhadyr Khoussainov, Sasha Rubin |