Real-Time Heuristic Search with LTLf Goals. - Jaime Middleton; Rodrigo Toro Icarte; Jorge A. Baier (IJCAI, 2022)