Alexander Shleyfman
10 papers · 2015–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Cross-Pollinator (10) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (10)
π
Keyword Champion
(4)
π
Century Club
(10)
π
Conference Pioneer
Conferences
AAAI (6)
IJCAI (4)
Top co-authors
Keywords
numeric planning
(4)
social law
(3)
agent coordination
(2)
optimal planning
(2)
multi-agent planning
(2)
robustness verification
(2)
complexity analysis
(1)
counterfactual explanation
(1)
inverse optimization
(1)
planning task
(1)
search algorithm
(1)
automated verification
(1)
gdpr compliance
(1)
classical planning
(1)
pattern database
(1)
strips planning
(1)
inverse combinatorial optimization
(1)
weighted maxsat
(1)
pattern database heuristic
(1)
multi-agent system
(1)
Papers
Managing Infinite Abstractions in Numeric Pattern Database Heuristics
AAAI 2026
PDBs Go Numeric: Pattern-Database Heuristics for Simple Numeric Planning
AAAI 2025
Towards a Unified View of Social Laws with Instantaneous Actions
IJCAI 2025
Structurally Restricted Fragments of Numeric Planning β a Complexity Analysis
AAAI 2023
Automated Verification of Social Laws in Numeric Settings
AAAI 2023
Counterfactual Explanations for Optimization-Based Decisions in the Context of the GDPR
IJCAI 2021
Automated Synthesis of Social Laws in STRIPS
AAAI 2020
Operator Mutexes and Symmetries for Simplifying Planning Tasks
AAAI 2019
Blind Search for Atari-Like Online Planning Revisited
IJCAI 2016
Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning
IJCAI 2015