Optimal-Reachability and Control for Acyclic Weighted Timed Automata

Salvatore La Torre, Supratik Mukhopadhyay, Aniello Murano. Optimal-Reachability and Control for Acyclic Weighted Timed Automata. In Ricardo A. Baeza-Yates, Ugo Montanari, Nicola Santoro, editors, Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17:::th::: World Computer Congress - TC1 Stream / 2:::nd::: IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montr&eacut. Volume 223 of IFIP Conference Proceedings, pages 485-497, Kluwer, 2002.

Abstract

Abstract is missing.