Bardh Hoxha, Georgios E. Fainekos. Planning in Dynamic Environments Through Temporal Logic Monitoring. In Daniele Magazzeni, Scott Sanner, Sylvie Thiébaux, editors, Planning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. Volume WS-16-12 of AAAI Workshops, AAAI Press, 2016. [doi]
@inproceedings{HoxhaF16,
title = {Planning in Dynamic Environments Through Temporal Logic Monitoring},
author = {Bardh Hoxha and Georgios E. Fainekos},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12556},
researchr = {https://researchr.org/publication/HoxhaF16},
cites = {0},
citedby = {0},
booktitle = {Planning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016},
editor = {Daniele Magazzeni and Scott Sanner and Sylvie Thiébaux},
volume = {WS-16-12},
series = {AAAI Workshops},
publisher = {AAAI Press},
isbn = {978-1-57735-759-9},
}