Generating low-cost plans from proofs.

Michael Benedikt, Balder ten Cate, Efthymia Tsamoura

Browse the full PODS paper archive.