Sasha Rubin

18 papers · 2016–2025 · 2 conferences · across top CS/AI conferences

Achievements

🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 🗺️ Taxonomy Completionist (18) 🐝 Cross-Pollinator (6) 🤝 Dynamic Duo (10) 🧬 Topic Evolution 🔥 Unstoppable (10) 🗃️ Keyword Collector (68) 💎 Century Club (18)

Conferences

IJCAI (15) AAAI (3)

Top co-authors

Giuseppe De Giacomo (10) Benjamin Aminof (7) Aniello Murano (7) Alessio Lomuscio (4) Francesco Belardinelli (3) Bastien Maubert (2) Antonio Di Stasio (2) François Schwarzentruber (1) Gianmarco Parretti (1) Sophie Pinchinat (1)

Keywords

game theory (7) model checking (7) temporal logic (5) linear temporal logic (4) formal verification (3) reactive synthesis (3) strategy synthesis (3) multi-agent system (3) strategic reasoning (2) nash equilibrium (2) automated planning (2) best-effort synthesis (2) automata theory (2) explainable ai (2) finite trace (2) deterministic finite automaton (2) tree ensemble (1) markov decision process (1) knowledge representation (1) heuristic search (1)

Papers

Most General Explanations of Tree Ensembles IJCAI 2025

LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces IJCAI 2025

Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments IJCAI 2024

Reactive Synthesis of Dominant Strategies AAAI 2023

Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints AAAI 2022

Formula Synthesis in Propositional Dynamic Logic with Shuffle AAAI 2022

Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments IJCAI 2022

Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up IJCAI 2021

Reasoning About Agents That May Know Other Agents’ Strategies IJCAI 2021

Synthesizing strategies under expected and exceptional environment behaviors IJCAI 2020

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020

Probabilistic Strategy Logic IJCAI 2019

Alternating-time Temporal Logic on Finite Traces IJCAI 2018

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

Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints IJCAI 2017

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

Nash Equilibria in Concurrent Games with Lexicographic Preferences IJCAI 2017

Imperfect-Information Games and Generalized Planning IJCAI 2016