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]
Abstract is missing.