Efficient Guiding Towards Cost-Optimality in UPPAAL.

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn

Browse the full TACAS paper archive.