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

Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn

Browse the full CAV paper archive.