Login / Signup
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.
Parosh Aziz Abdulla
Yu-Fang Chen
Lorenzo Clemente
Lukás Holík
Chih-Duo Hong
Richard Mayr
Tomás Vojnar
Published in:
CAV (2010)
Keyphrases
</>
mobile robot
cellular automata
databases
description logics
mathematical model
transitive closure
finite state machines
information retrieval
data model
relational databases
bayesian networks
simulation study
simulation model
information gain
regular expressions
finite state
simulation environment
machine learning