Planning in Dynamic Environments Through Temporal Logic Monitoring
Title | Planning in Dynamic Environments Through Temporal Logic Monitoring |
Publication Type | Conference Paper |
Year of Publication | 2016 |
Authors | Bardh Hoxha, Georgios Fainekos |
Conference Name | Workshops of the Thirtieth AAAI Conference on Artificial Intelligence: Planning for Hybrid Systems |
Keywords | 1446730 |
Citation Key | HoxhaF16aaai |