Counter-Free Input-Determined Timed Automata.

Fabrice Chevalier Deepak D'Souza Pavithra Prabhakar

Published in: FORMATS (2007)

Keyphrases

timed automata
model checking
reachability analysis
input data
theorem prover
real world
artificial intelligence
training data
theorem proving
data sets
data mining
case study
three dimensional
data structure
multiresolution
user input