Robustness in Timed Automata.

Patricia Bouyer Nicolas Markey Ocan Sankur

Published in: RP (2013)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
artificial intelligence
temporal logic
real time
neural network
data mining
case study
preprocessing
low cost
computational efficiency
real time systems