Analyzing neural network behavior through deep statistical model checking
Timo P. Gros and Holger Hermanns and Jörg Hoffmann and Michaela Klauck and Marcel Steinmetz
International Journal on Software Tools for Technology Transfer
Cartesian Abstractions and Saturated Cost Partitioning in Probabilistic Planning
Thorsten Klößner and Jendrik Seipp and Marcel Steinmetz
26th European Conference on Artificial Intelligence, ECAI 2023
Lifted Stackelberg Planning
Philipp Sauer and Marcel Steinmetz and Robert Künnemann and Jörg Hoffmann
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, ICAPS 2023
A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems
Thorsten Klößner and Álvaro Torralba and Marcel Steinmetz and Silvan Sievers
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, ICAPS 2023