edoc

Browse by Basel Advisors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: 2018 | 2017

2018

Seipp, Jendrik. Counterexample-guided cartesian abstraction refinement and saturated cost partitioning for optimal classical planning. 2018, Doctoral Thesis, University of Basel, Faculty of Science.

2017

Pommerening, Florian. New perspectives on cost partitioning for optimal classical planning. 2017, Doctoral Thesis, University of Basel, Faculty of Science.

Sievers, Silvan. Merge-and-shrink abstractions for classical planning : theory, strategies, and implementation. 2017, Doctoral Thesis, University of Basel, Faculty of Science.