Simulations in Rank-Based Büchi Automata Complementation.

Yu-Fang Chen Vojtech Havlena Ondrej Lengál

Published in: APLAS (2019)

Keyphrases

cellular automata
finite state machines
neural network
finite automata
numerical simulations
regular expressions
mathematical analysis
molecular dynamics
image processing
bayesian networks
mobile robot
simulation model
finite state
simulation tools
probabilistic automata
formal language theory