1 June 2023, 14:01-16:30 MIAO Talk by Malte Helmert Lower bound functions for optimal classical planning