Login / Signup
Variations on parallel explicit emptiness checks for generalized Büchi automata.
Etienne Renault
Alexandre Duret-Lutz
Fabrice Kordon
Denis Poitrenaud
Published in:
Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
</>
tree automata
parallel implementation
parallel processing
massively parallel
shared memory
probabilistic automata
finite state
information gain
parallel computation
finite state machines
genetic algorithm
load balancing
cellular automata
evolutionary algorithm
face recognition
website
artificial intelligence