Antichains: A New Algorithm for Checking Universality of Finite Automata.

Martin De Wulf Laurent Doyen Thomas A. Henzinger Jean-François Raskin

Published in: CAV (2006)

Keyphrases

finite automata
learning algorithm
matching algorithm
databases
machine learning
computational complexity
data exchange