Sasha Rubin
18 papers · 2016–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
π Academic Marathon (9) π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (2) π Cross-Pollinator (6)
π
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
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