No. 4 (2001): RS-4 Efficient Guiding Towards Cost-Optimality in UPPAAL

Articles

• Efficient Guiding Towards Cost-Optimality in UPPAAL

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

  • PDF