8 citations · 18 across the 10 of their papers we have counts for
1 paper · 2 filters
Karin Quaas, Mahsa Shirmohammadi, James Worrell
We revisit a fundamental result in real-time verification, namely that the binary reachability relation between configurations of a given timed automaton is definable in linear ari…