Rajeev Alur, Salvatore La Torre, George J. Pappas. Optimal Paths in Weighted Timed Automata. In Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, editors, Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings. Volume 2034 of Lecture Notes in Computer Science, pages 49-62, Springer, 2001. [doi]
Abstract is missing.