Items where Author is "Greitschus, Marius"
Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemHeinz, 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. |