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

Mitsuharu Yamamoto, Masami Hagiya

Browse the full APLAS paper archive.