Perturbed Timed Automata.

Rajeev Alur Salvatore La Torre P. Madhusudan

Published in: HSCC (2005)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
real time systems
first order logic
original data
temporal logic
decision trees
bayesian networks
image processing
similarity measure
training data
feature space
inference rules