Sasha Rubin
18 papers · 2016–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
🗺️ Taxonomy Completionist (17) 🏃 Academic Marathon · Sprint 🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird
🧬
Topic Evolution
🧭
Keyword Pioneer
🤝
Dynamic Duo
(10)
🗃️
Keyword Collector
(68)
💎
Century Club · Bronze
🔥
Unstoppable · Silver
Venues
Top co-authors
Research topics
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
LTLf+ and PPLTL+: Extending LTLf and PPLTL to Infinite Traces
IJCAI 2025
Most General Explanations of Tree Ensembles
IJCAI 2025
Effective Approach to LTLf Best-Effort Synthesis in Multi-Tier Environments
IJCAI 2024
Reactive Synthesis of Dominant Strategies
AAAI 2023
Beyond Strong-Cyclic: Doing Your Best in Stochastic Environments
IJCAI 2022
Formula Synthesis in Propositional Dynamic Logic with Shuffle
AAAI 2022
Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints
AAAI 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
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
IJCAI 2020
Synthesizing strategies under expected and exceptional environment behaviors
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
Nash Equilibria in Concurrent Games with Lexicographic Preferences
IJCAI 2017
Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic
IJCAI 2017
Imperfect-Information Games and Generalized Planning
IJCAI 2016