Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks.

Published in: CAV (2001)

Keyphrases

reachability analysis
timed automata
model checking
temporal logic
finite state
markov decision processes
first order logic
theorem prover
non binary
theorem proving
data mining
artificial intelligence
low cost
hamming distance