A Survey on Satisfiability Checking for the μ-Calculus through Tree Automata.

Daniel Hausmann Nir Piterman

Published in: CoRR (2022)

Keyphrases

tree automata
regular expressions
finite automata
finite state
tree languages
context free grammars
syntactic pattern recognition
finite automaton
ordered trees
database systems
pattern matching
markov decision processes
databases
query language
markov chain
data integration