Articles

• Efficient Guiding Towards Cost-Optimality in UPPAAL

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

  • PDF