150 citations · 250 across the 7 of their papers we have counts for
1 paper · 1 filter
Alexandre David, Kim G. Larsen, Axel Legay +4
This paper offers a natural stochastic semantics of Networks of Priced Timed Automata (NPTA) based on races between components. The semantics provides the basis for satisfaction of…