ConferencePaper
 (2022)

Real-Time Heuristic Search with LTLf Goals

Middleton, Jaime; Toro Icarte, Rodrigo; Baier, Jorge