Items where Author is "Greitschus, Marius"

Group by: Date | Item Type | Refereed

Jump to: Yes

Number of items: 1.

Yes

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 Wed May 1 19:02:16 2024 CEST.

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