Login / Signup
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.
Jörg Hoffmann
Jan-Georg Smaus
Andrey Rybalchenko
Sebastian Kupferschmid
Andreas Podelski
Published in:
MoChArt (2006)
Keyphrases
</>
heuristic functions
search methods
heuristic search
heuristic function
admissible heuristics
model checking
genetic algorithm
search space
optimization problems
multi agent
planning domains
prune the search space