On Producing Shortest Cost-Optimal PlansMichael KatzGabriele Roegeret al.2022SoCS 2022Conference paper