Return to Article Details Efficient Guiding Towards Cost-Optimality in UPPAAL Download Download PDF