Büchi Store: An Open Repository of Büchi Automata.

Yih-Kuen Tsay Ming-Hsien Tsai Jinn-Shu Chang Yi-Wen Chang

Published in: TACAS (2011)

Keyphrases

metadata
digital libraries
information gain
database
real time
data sets
genetic algorithm
artificial intelligence
social networks
data structure
finite state automata