Fedor Shmarov, Paolo Zuliani. SMT-Based Reasoning for Uncertain Hybrid Domains. 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.