Visible to the public Planning in Dynamic Environments Through Temporal Logic Monitoring

TitlePlanning in Dynamic Environments Through Temporal Logic Monitoring
Publication TypeConference Paper
Year of Publication2016
AuthorsBardh Hoxha, Georgios Fainekos
Conference NameWorkshops of the Thirtieth AAAI Conference on Artificial Intelligence: Planning for Hybrid Systems
Keywords1446730
Citation KeyHoxhaF16aaai