Rubin, Sasha

18 publications

IJCAI 2025 LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Moshe Y. Vardi

IJCAI 2025 Most General Explanations of Tree Ensembles Yacine Izza, Alexey Ignatiev, Sasha Rubin, João Marques-Silva, Peter J. Stuckey

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

AAAI 2023 Reactive Synthesis of Dominant Strategies Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin

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

AAAI 2022 Formula Synthesis in Propositional Dynamic Logic with Shuffle Sophie Pinchinat, Sasha Rubin, François Schwarzentruber

AAAI 2022 Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints Niku Gorji, Sasha Rubin

IJCAI 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 2020 Pure-past Linear Temporal and Dynamic Logic on Finite Traces Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin

IJCAI 2020 Synthesizing Strategies Under Expected and Exceptional Environment Behaviors Benjamin Aminof, Giuseppe De Giacomo, Alessio Lomuscio, Aniello Murano, Sasha Rubin

IJCAI 2019 Probabilistic Strategy Logic Benjamin Aminof, Marta Kwiatkowska, Bastien Maubert, Aniello Murano, Sasha Rubin

IJCAI 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 2017 Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints Blai Bonet, Giuseppe De Giacomo, Hector Geffner, Sasha Rubin

IJCAI 2017 Nash Equilibria in Concurrent Games with Lexicographic Preferences Julian Gutierrez, 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 2016 Imperfect-Information Games and Generalized Planning Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio