Login / Signup
Merge and Conquer: State Merging in Parametric Timed Automata.
Étienne André
Laurent Fribourg
Romain Soulat
Published in:
ATVA (2013)
Keyphrases
</>
timed automata
state space
neural network
model checking
machine learning
computer vision
case study
similarity measure
relational databases
finite state machines
reachability analysis