Shleyfman, Alexander

14 publications

AAAI 2025 PDBs Go Numeric: Pattern-Database Heuristics for Simple Numeric Planning Daniel Gnad, Lee-or Alon, Eyal Weiss, Alexander Shleyfman

IJCAI 2025 Towards a Unified View of Social Laws with Instantaneous Actions Alexander Tuisov, Evgeny Mishlyakov, Alexander Shleyfman, Erez Karpas

AAAI 2023 Automated Verification of Social Laws in Numeric Settings Ronen Nir, Alexander Shleyfman, Erez Karpas

AAAI 2023 Structurally Restricted Fragments of Numeric Planning - A Complexity Analysis Alexander Shleyfman, Daniel Gnad, Peter Jonsson

JAIR 2022 The LM-Cut Heuristic Family for Optimal Numeric Planning with Simple Conditions Ryo Kuroiwa, Alexander Shleyfman, Chiara Piacentini, Margarita P. Castro, J. Christopher Beck

JAIR 2021 Computational Complexity of Computing Symmetries in Finite-Domain Planning Alexander Shleyfman, Peter Jonsson

IJCAI 2021 Counterfactual Explanations for Optimization-Based Decisions in the Context of the GDPR Anton Korikov, Alexander Shleyfman, J. Christopher Beck

AAAI 2020 Automated Synthesis of Social Laws in STRIPS Ronen Nir, Alexander Shleyfman, Erez Karpas

AAAI 2019 Operator Mutexes and Symmetries for Simplifying Planning Tasks Daniel Fiser, Álvaro Torralba, Alexander Shleyfman

IJCAI 2016 Blind Search for Atari-like Online Planning Revisited Alexander Shleyfman, Alexander Tuisov, Carmel Domshlak

AAAI 2015 Factored Symmetries for Merge-and-Shrink Abstractions Silvan Sievers, Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz

AAAI 2015 Heuristics and Symmetries in Classical Planning Alexander Shleyfman, Michael Katz, Malte Helmert, Silvan Sievers, Martin Wehrle

IJCAI 2015 Integrating Partial Order Reduction and Symmetry Elimination for Cost-Optimal Classical Planning Martin Wehrle, Malte Helmert, Alexander Shleyfman, Michael Katz

AAAI 2015 On Interruptible Pure Exploration in Multi-Armed Bandits Alexander Shleyfman, Antonín Komenda, Carmel Domshlak