Items where Author is "von Allmen, Samuel"

Group by: Date | Item Type | Refereed

Jump to: Yes

Number of items: 1.

Yes

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 Mon May 20 07:53:26 2024 CEST.

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