Planning as Model Checking in Hybrid Domains.

Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle

Browse the full AAAI paper archive.