Raphael Kreft - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 5 von 8

)

CEGAR++ Saturated Cost Partitioning for Diverse Sets of...

ai.dmi.unibas.ch

Raphael Kreft, Clemens Buchner, Silvan Sievers¨ University of Basel, Switzerland {raphael.kreft, clemens.buechner, Abstract Heuristic search based on abstraction heuristics belongs to the most common techniques in cost-optimal classical planning these days. Our planner combines different types of abstrac-

sweet spot between projections and cartesian abstractions?

ai.dmi.unibas.ch

Raphael Kreft, Clemens Büchner, Silvan Sievers, Malte Helmert LR LL LR LL LR LL TR TL TR TL TR TL RR RL RR RL RR RL Projection Domain Abstraction Cartesian Abstraction compute domain abstractions experimental results comparison with state of the art Algorithm 1: CEGAR for domain abstraction generation

Verwandte Suchanfragen zu Raphael Kreft

Silvan Sievers
Sebastian Renz
Malte Helmert

Iris Zajusch

Person "Kreft" (7)
Vorname "Raphael" (7946)
Name "Kreft" (1005)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Raphael Kreft

CEGAR++ Saturated Cost Partitioning for Diverse Sets of...

sweet spot between projections and cartesian abstractions?

GitHub

Universität Basel

Master degree thesis pdfSquarespace