Logo der Universität Basel

Research Database / FORSCHUNGSDATENBANK 
PRINTDOC
 
Publication 4697838 | Verified
 

Data Entry: Please note that the research database will be replaced by UNIverse by the end of October 2023. Please enter your data into the system https://universe-intern.unibas.ch. Thanks

Login for users with Unibas email account...

Login for registered users without Unibas email account...

 
CEGAR++: Saturated Cost Partitioning for Diverse Sets of Abstractions
Other Publications (Forschungsberichte o. ä.)
 
ID 4697838
Author(s) Kreft, Raphael; Büchner, Clemens; Sievers, Silvan
Author(s) at UniBasel Büchner, Clemens
Sievers, Silvan
Kreft, Raphael
Year 2023
Title CEGAR++: Saturated Cost Partitioning for Diverse Sets of Abstractions
Publication Type Planner Abstract
edoc-URL https://edoc.unibas.ch/95688/
Full Text on edoc Available
 
   

MCSS v5.8 PRO. 0.335 sec, queries - 0.000 sec ©Universität Basel  |  Impressum   |    
02/05/2024