Symbolic Quantitative Robustness Analysis of Timed Automata.

Published in: TACAS (2015)

Keyphrases

artificial intelligence
database
computational efficiency
real time
search engine
decision making
digital images
model checking
timed automata