Dynamical Properties of Timed Automata.

Published in: FTRTFT (1998)

Keyphrases

timed automata
neural network
model checking
reachability analysis
first order logic
theorem prover
key properties
computer vision
software development
markov decision processes
desirable properties