51 citations · 69 across the 9 of their papers we have counts for
1 paper · 1 filter
Deepak D'Souza, Nicolas Tabareau
We consider a general notion of timed automata with input-determined guards and show that they admit a robust logical framework along the lines of [D 'Souza03], in terms of a monad…