Limit Deterministic and Probabilistic Automata for LTL ∖ GU.

Dileep Kini Mahesh Viswanathan

Published in: TACAS (2015)

Keyphrases

probabilistic automata
finite automata
deterministic automata
regular expressions
grammatical inference
relative entropy
model checking
temporal logic
markov chain
finite state automata
sound theoretical
regular languages
active learning
hidden markov models
feature selection
xml documents