Research Output 1998 2015

Filter
Chapter
2001
78 Citations

As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata

Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Petterson, P., Romijn, J. M. T. & Romijn, J. 2001 Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings. Berry, G., Comon, H. & Finkel, A. (eds.). Heidelberg: Springer, Vol. 2102, p. 493-505 13 p. (Lecture Notes in Computer Science; no. 2102)

Research output: Scientific - peer-reviewChapter

Costs
Machinery
Experiments