Almost Periodicity and the Timestamp of Timed Automata.

Amnon Rosenmann

Published in: CoRR (2014)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
temporal logic
real time systems
data records
periodic motion
periodic patterns
periodicity detection
access patterns
multi agent systems
case study
low cost
machine learning