2 papers
cs.FL2018
First Order Alternation
Radu Iosif, Xiao Xu
We introduce first order alternating automata, a generalization of boolean alternating automata, in which transition rules are described by multisorted first order formulae, with s…
cs.FL2017
The Impact of Alternation
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…