Conflict-driven learning in AI planning state-space search
Marcel Steinmetz
Ph.D. Thesis
Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack
David Groß and Michaela Klauck and Timo P. Gros and Marcel Steinmetz and Jörg Hoffmann and Stefan Gumhold
Proceedings of the 26th International Conference Information Visualisation, IV 2022
🖺 PDF10.1109/IV56949.2022.00011
Neural Network Action Policy Verification via Predicate Abstraction
Marcel Vinzent and Marcel Steinmetz and Jörg Hoffmann
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022
Debugging a Policy: Automatic Action-Policy Testing in AI Planning
Marcel Steinmetz and Daniel Fiser and Hasan Ferit Eniser and Patrick Ferber and Timo P. Gros and Philippe Heim and Daniel Höller and Xandra Schuler and Valentin Wüstholz and Maria Christakis and Jörg Hoffmann
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022
Pattern Selection Strategies for Pattern Databases in Probabilistic Planning
Thorsten Klößner and Marcel Steinmetz and Álvaro Torralba and Jörg Hoffmann
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022
Classical Planning with Avoid Conditions
Marcel Steinmetz and Jörg Hoffmann and Alisa Kovtunova and Stefan Borgwardt
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022
Expressivity of Planning with Horn Description Logic Ontologies
Stefan Borgwardt and Jörg Hoffmann and Alisa Kovtunova and Markus Krötzsch and Bernhard Nebel and Marcel Steinmetz
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022