The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.

Mani Swaminathan Martin Fränzle Joost-Pieter Katoen

Published in: IFIP TCS (2008)

Keyphrases

timed automata
model checking
reachability analysis
first order logic
theorem prover
social networks
high speed
queueing networks
theorem proving
real time
data sets
power consumption
temporal logic
database
genetic algorithm
high robustness
concept drift
digital images
e learning
search engine