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 Wed Sep 18 20:56:42 2024 CEST.