Quantitative Robustness Analysis of Flat Timed Automata.

Rémi Jaubert Pierre-Alain Reynier

Published in: FoSSaCS (2011)

Keyphrases

statistical analysis
image analysis
computer vision
three dimensional
multiscale
data analysis
multiresolution
timed automata
knowledge base
website
case study
hidden markov models
low cost
qualitative and quantitative
quantitative measures