On Continuous Timed Automata with Input-Determined Guards.

Fabrice Chevalier Deepak D'Souza Pavithra Prabhakar

Published in: FSTTCS (2006)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
data mining
database systems
pre determined
real time
databases
real world
artificial intelligence
similarity measure
user input