Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning
Marcel Steinmetz and Sylvie Thiébaux and Daniel Höller and Florent Teichteil-Königsbuch
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024
Towards Feasible Higher-Dimensional Potential Heuristics
Daniel Fiser and Marcel Steinmetz
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024
🖺 PDF10.1609/ICAPS.V34I1.31478
On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification
Gregor Behnke and Marcel Steinmetz
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, ICAPS 2024
Merge-and-Shrink Heuristics for SSPs with Prune Transformations
Thorsten Klößner and Álvaro Torralba and Marcel Steinmetz and Silvan Sievers
Proceedings of the 27th European Conference on Artificial Intelligence, ECAI 2024
Safety Verification of Tree-Ensemble Policies via Predicate Abstraction
Chaahat Jain and Lorenzo Cascioli and Laurens Devos and Marcel Vinzent and Marcel Steinmetz and Jesse Davis and Jörg Hoffmann
Proceedings of the 27th European Conference on Artificial Intelligence, ECAI 2024