Simulations in Rank-Based Büchi Automata Complementation.

Yu-Fang Chen Vojtech Havlena Ondrej Lengál

Published in: CoRR (2019)

Keyphrases

cellular automata
numerical simulations
finite state
information gain
regular expressions
simulation models
data sets
finite automata
molecular dynamics
three dimensional
relational databases
markov chain
finite state machines
finite state automata
timed automata
probabilistic automata