Finding Optimal Plans for Domains with Continuous Effects with UPPAAL CORA

BIB
Dierks, Henning
Proceedings of the ICAPS'05 Workshop on Verification and alidation of Model-Based Planning and Scheduling Systems
01 / 2005
inproceedings