Vol-1647⫷ Vol-1648 ⫸Vol-1649
urn:nbn:de:0074-1648-0


Vol-1648/paper7⫷Vol-1648/paper10⫸Vol-1648/paper11
Alberto CamachoEleni TriantafillouJorge A. BaierSheila A. McIlraithChristian J. Muise

Non-Deterministic Planning with Temporally Extended Goals: Completing the Story for Finite and Infinite LTL (Amended Version)