Controlled Timed Automata.

François Demichelis Wieslaw Zielonka

Published in: CONCUR (1998)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
real time systems
real time
neural network
data mining
bayesian networks
knowledge base
complex systems
temporal logic