Login / Signup

Finite Models vs Tree Automata in Safety Verification.

Alexei Lisitsa
Published in: RTA (2012)
Keyphrases
  • tree automata
  • probabilistic model
  • regular expressions
  • database
  • information retrieval
  • learning algorithm
  • finite automata