7 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi
Priced timed automata provide a natural model for quantitative analysis of real-time systems and have been successfully applied in various scheduling and planning problems. The opt…