Dynamic networks of finite state machines.

Yuval Emek Jara Uitto

Published in: Theor. Comput. Sci. (2020)

Keyphrases

dynamic networks
finite state machines
model checking
network structure
dynamic behavior
network analysis
finite state automata
temporal evolution
biological networks
hidden markov models
regular expressions
real world networks
network topology
data mining
text mining