9 citations · 36 across the 34 of their papers we have counts for
1 paper · 2 filters
Radu Iosif, Xiao Xu
Alternating automata have been widely used to model and verify systems that handle data from finite domains, such as communication protocols or hardware. The main advantage of the…