Browse by Basel Contributors ID

Group by: Date | Item Type | Refereed | No Grouping

Seipp, Jendrik and von Allmen, Samuel and Helmert, Malte. (2020) Incremental Search for Counterexample-Guided Cartesian Abstraction Refinement. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), 30. pp. 244-248.

edoc is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton.