Constraint Automata on Infinite Data Trees: From CTL(Z)/CTL*(Z) To Decision Procedures.

Stéphane Demri Karin Quaas

Published in: CoRR (2023)

Keyphrases

data analysis
temporal logic
decision procedures
model checking
database
bayesian networks
data sources
data management
probabilistic reasoning