Optimal Paths in Weighted Timed Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. It may be one of the following persons:

Rajeev Alur

Look up 'Rajeev Alur' in GoogleThis author has not been identified. Look up 'Salvatore La Torre' in GoogleThis author has not been identified. Look up 'George J. Pappas' in Google

runs on WebDSL