On Presburger Liveness of Discrete Timed Automata.

Zhe Dang Pierluigi San Pietro Richard A. Kemmerer

Published in: STACS (2001)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
discrete geometry
discrete space
theorem proving
machine learning
finite number
first order logic
database
databases
software systems
state space
dynamic programming
real time systems
continuous attributes
social networks
neural network
data sets