Number of items: 2.
Conference or Workshop Item (A Paper)
Smaus, Jan-Georg and Hoffmann, Jörg
(2008)
Relaxation Refinement: A New Method to Generate Heuristic Functions.
Hoffmann, Jörg and Smaus, Jan-Georg and Rybalchenko, Andrey and Kupferschmid, Sebastian and Podelski, Andreas
(2006)
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.
This list was generated on Fri May 30 13:32:31 2025 CEST.