research
∙
02/10/2023
Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures
We introduce the class of tree constraint automata with data values in Z...
research
∙
10/20/2019