Planning as model checking in hybrid domains

Bogomolov, Sergiy and Magazzeni, Daniele and Podelski, Andreas and Wehrle, Martin. (2014) Planning as model checking in hybrid domains. In: Proceedings of twenty-eighth AAAI Conference on Artificial Intelligence and the twenty-sixth Innovative Applications of Artificial Intelligence Conference (AAAI 2014) : 27-31 July 2014, Québec City, Québec, Canada, 3. Palo Alto, Calif., pp. 2228-2234.

PDF - Published Version

Official URL: http://edoc.unibas.ch/dok/A6328948

Downloads: Statistics Overview

Faculties and Departments:05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert)
UniBasel Contributors:Wehrle, Martin
Item Type:Conference or Workshop Item, refereed
Conference or workshop item Subtype:Conference Paper
Publisher:AAAI Press
Note:Publication type according to Uni Basel Research Database: Conference paper
Related URLs:
edoc DOI:
Last Modified:20 Nov 2018 10:36
Deposited On:05 Jun 2015 08:52

Repository Staff Only: item control page