6 citations · 11 across the 13 of their papers we have counts for
1 paper · 2 filters
Ziran Wang, Jie An, Naijun Zhan
Timed automata, which extend finite state automata by introducing clock variables, serve as a popular formalism for specifying and analyzing the timed behaviors of real-time system…