Sign in

Constraint Automata on Infinite Data Trees: from CTL(ℤ)/ CTL^*}(ℤ) to Decision Procedures.

Stéphane DemriKarin Quaas
Published in: CONCUR (2023)
Keyphrases
  • database
  • decision procedures
  • knowledge base
  • data analysis
  • data sources
  • model checking
  • temporal logic
  • data mining
  • special case
  • probability distribution
  • cellular automata
  • incomplete information