Items where Author is "Smaus, Jan-Georg"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper)
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.
In: Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers.

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.
In: Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers.

This list was generated on Fri Apr 26 02:16:15 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.