From Real-time Logic to Timed Automata.

Thomas Ferrère Oded Maler Dejan Nickovic Amir Pnueli

Published in: J. ACM (2019)

Keyphrases

logic programming
real time
timed automata
classical logic
real time systems
programming language
low cost
model checking
database
control system
vision system
theorem proving
reachability analysis
multi valued
expressive power
first order logic
real world
data sets