Abstract A* Algorithm and Its Application to Linearly Priced Timed Automata.

Mitsuharu Yamamoto Masami Hagiya

Published in: APLAS (2001)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
higher level
low level
first order logic
computer vision
high level
real time systems
database
data sets
neural network
objective function
state machines