Login / Signup
Dynamic Networks of Finite State Machines.
Yuval Emek
Jara Uitto
Published in:
CoRR (2017)
Keyphrases
</>
finite state machines
dynamic networks
model checking
network structure
network analysis
dynamic behavior
finite state automata
network dynamics
temporal evolution
regular expressions
biological networks
mutation testing
hidden markov models
real world networks
high precision
object oriented
query language