edoc

Items where Author is "Greitschus, Marius"

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

2019

Heinz, Alexander and Wehrle, Martin and Bogomolov, Sergiy and Magazzeni, Daniele and Greitschus, Marius and Podelski, Andreas. (2019) Temporal Planning as Refinement-Based Model Checking. In: Proceedings of the 29th International Conference on Automated Planning and Scheduling. pp. 195-199.

This list was generated on Fri Apr 19 18:25:57 2024 CEST.
edoc is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton.