Symbolic Robustness Analysis of Timed Automata.

Conrado Daws Piotr Kordy

Published in: FORMATS (2006)

Keyphrases

timed automata
databases
neural network
artificial intelligence
computer vision
metadata
data structure
computational efficiency
quantitative analysis