and Diagonal Timed Automata.

Bozena Wozna Andrzej Zbrzezny

Published in: Fundam. Informaticae (2007)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
covariance matrix
theorem proving
real time systems
first order logic
neural network
artificial intelligence