Detecting Quasi-equal Clocks in Timed Automata.

Marco Muñiz Bernd Westphal Andreas Podelski

Published in: FORMATS (2013)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
real time systems
first order logic
graphical models
temporal logic
multiscale
artificial intelligence
database
dynamic programming
automatic detection
high level
feature selection
computer vision
social networks
real world