ML Anthology

Podelski, Andreas

1 publications

AAAI 2014 Planning as Model Checking in Hybrid Domains Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle