Büchi Complementation and Size-Change Termination

Seth Fogarty Moshe Y. Vardi

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

real world
metadata
fixed size
high level
computational complexity
special case
wireless sensor networks
small size
machine learning
genetic algorithm
database systems
mobile robot
mutual information
scales linearly