most citedConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2026

Safe Planning in Unknown Environments Using Conformalized Semantic Maps

David Smith Sundarsingh, Yifei Li, Tianji Tang +3

This paper addresses semantic planning problems in unknown environments under perceptual uncertainty. The environment contains multiple unknown semantically labeled regions or obje…