On Clock-Aware LTL Properties of Timed Automata.

Peter Bezdek Nikola Benes Vojtech Havel Jiri Barnat Ivana Cerná

Published in: ICTAC (2014)

Keyphrases

timed automata
model checking
temporal logic
high speed
reachability analysis
data sets
database
case study
bounded model checking
hidden markov models
theorem proving
linear time temporal logic
rough sets
dynamic programming
database systems
genetic algorithm
information retrieval