Login / Signup
Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction.
Alfons Laarman
Mads Chr. Olesen
Andreas Engelbredt Dalsgaard
Kim Guldstrand Larsen
Jaco van de Pol
Published in:
CAV (2013)
Keyphrases
</>
timed automata
finite state machines
petri net
coalitional games
tree automata
model checking
high level
cellular automata
genetic algorithm
information gain
data abstraction
artificial intelligence
decision trees
information systems
finite automata
search engine
verification method
learning algorithm