Non-Deterministic Planning with Temporally Extended Goals: LTL over Finite and Infinite Traces.

Alberto Camacho, Eleni Triantafillou, Christian J. Muise, Jorge A. Baier, Sheila A. McIlraith

Browse the full AAAI paper archive.