A Parametric Counterexample Refinement Approach for Robust Timed Specifications

Louis-Marie Traonouez

Published in: FIT (2012)

Keyphrases

model checking
multiresolution
finite state machines
databases
bayesian networks
machine learning
learning algorithm
computer vision
evolutionary algorithm
software development
partial occlusion
delay insensitive
timed automata