Exact Incremental Analysis of Timed Automata with an SMT-Solver.

Bahareh Badban Martin Lange

Published in: FORMATS (2011)

Keyphrases

statistical analysis
search algorithm
data analysis
timed automata
database
real time
artificial intelligence
expert systems