edoc

Items where Author is "von Allmen, Samuel"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | Refereed
Jump to: 2020
Number of items: 1.

2020

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.

This list was generated on Wed May 8 16:24:49 2024 CEST.
edoc is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton.