Seipp, Jendrik and Helmert, Malte. (2013) Additive counterexample-guided Cartesian abstraction refinement. In: Late-breaking developments in the field of artificial intelligence : papers presented at the Twenty-Seventh AAAI Conference on Artificial Intelligence, [in Bellevue, WA, July 14 - 18, 2013] (AAAI 2013). Palo Alto, Calif., pp. 119-121.
Full text not available from this repository.
Official URL: http://edoc.unibas.ch/dok/A6337425
Downloads: Statistics Overview
| Faculties and Departments: | 05 Faculty of Science > Departement Mathematik und Informatik > Informatik > Artificial Intelligence (Helmert) |
|---|---|
| UniBasel Contributors: | Seipp, Jendrik and Helmert, Malte |
| 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: | |
| Last Modified: | 05 Jun 2015 08:52 |
| Deposited On: | 05 Jun 2015 08:52 |
Repository Staff Only: item control page