Login / Signup

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

Daniel HausmannNir Piterman
Published in: Principles of Systems Design (2022)
Keyphrases
  • tree automata
  • regular expressions
  • finite automata
  • finite state
  • tree languages
  • syntactic pattern recognition
  • ordered trees
  • pattern matching
  • expert systems
  • context free grammars
  • context free
  • finite automaton