@inproceedings{Die2005,
Author = {Dierks, Henning},
Title = {Finding Optimal Plans for Domains with Continuous Effects with UPPAAL CORA},

Year = {2005},
Month = {01},
Booktitle = {Proceedings of the ICAPS'05 Workshop on Verification and alidation of Model-Based Planning and Scheduling Systems},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }