6 search results - page 2 / 2 » Minimum-Cost Reachability for Priced Timed Automata |
HYBRID
2010
Springer
14 years 1 months ago
2010
Springer
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...