SMT-Based Reasoning for Uncertain Hybrid Domains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Fedor Shmarov' in GoogleThis author has not been identified. Look up 'Paolo Zuliani' in Google

runs on WebDSL