Bogomolov, S., Magazzeni, D., Podelski, A. and Wehrle, M. (2014) “Planning as Model Checking in Hybrid Domains”, Proceedings of the AAAI Conference on Artificial Intelligence, 28(1). doi: 10.1609/aaai.v28i1.9037.