Tilbage til artikeldetaljer Efficient Guiding Towards Cost-Optimality in UPPAAL Download Download PDF