Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization.

Frantisek Blahoudek Alexandre Duret-Lutz Jan Strejcek

Published in: CAV (2) (2020)

Keyphrases

cellular automata
real world
machine learning
information systems
lower bound
database
search engine
website
image segmentation
feature space
information gain
finite automata