Real-Time Heuristic Search with LTLf Goals.

Jaime Middleton, Rodrigo Toro Icarte, Jorge A. Baier

Browse the full IJCAI paper archive.