On timed automata with input-determined guards

Deepak D'Souza Nicolas Tabareau

Published in: CoRR (2006)

Keyphrases

timed automata
model checking
reachability analysis
neural network
theorem prover
input data
theorem proving
expert systems
artificial neural networks
hidden markov models
first order logic
database systems
image segmentation
input variables
real time systems
desired output
social networks
real time