Hadas Kress-Gazit Martin Leucker

Proceedings of the 1 st Workshop on Planning in Continuous Domains PCD 2013

S. Karaman, D. Long, M. Fox, 2013 .