Real-Time Heuristic Search with LTLf Goals

Jaime Middleton, Rodrigo Toro Icarte, Jorge Baier

Video #1 Length : 00:01:22
Video #2 Length : 00:05:26