Binary Reachability Analysis of Discrete Pushdown Timed Automata.

Zhe Dang Oscar H. Ibarra Tevfik Bultan Richard A. Kemmerer Jianwen Su

Published in: CAV (2000)

Keyphrases

reachability analysis
timed automata
model checking
temporal logic
theorem prover
finite state
markov decision processes
theorem proving
continuous space
continuous valued
supervised learning
first order logic
inference rules
finite number
continuous variables