119 citations · 168 across the 14 of their papers we have counts for
1 paper · 1 filter
Florian Lorber, Amnon Rosenmann, Dejan Nickovic +1
Deterministic timed automata are strictly less expressive than their non-deterministic counterparts, which are again less expressive than those with silent transitions. As a conseq…