Stop! planner time: metareasoning for probabilistic planning using learned performance profiles - Budd, M; Lacerda, B; Hawes, N (Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), 2024)