Analyzing Timed Systems Using Tree Automata.

S. Akshay Paul Gastin Shankara Narayanan Krishna

Published in: CONCUR (2016)

Keyphrases

tree automata
information retrieval
artificial intelligence
markov chain
learning algorithm
natural language
expert systems
language model
petri net