150 citations · 548 across the 51 of their papers we have counts for
1 paper · 1 filter
Patricia Bouyer, Kim G. Larsen, Nicolas Markey
We consider the model of priced (a.k.a. weighted) timed automata, an extension of timed automata with cost information on both locations and transitions, and we study various model…