Safe LTL Assumption-Based Planning

TitleSafe LTL Assumption-Based Planning
Publication TypeConference Paper
Year of Publication2006
AuthorsAlbore, A, Bertoli, P
Conference NameProc. Int. Conf. on Automated Planning & Scheduling (ICAPS-06)
Conference LocationLake District, UK