Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus and Andreas Podelski
LTL & Temporal Planning : Temporal Planning as Refinement-Based Model Checking
Categories
ICAPSInternational Conference on Automated Planning and Scheduling