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