Shrinktech: A Tool for the Robustness Analysis of Timed Automata.

Published in: CAV (2013)

Keyphrases

data analysis
quantitative analysis
analysis tool
real time
timed automata
neural network
image processing
image analysis
dynamic programming
graphical models