2 papers
cs.RO2022
Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile
This work presents a step towards utilizing incrementally-improving symbolic perception knowledge of the robot's surroundings for provably correct reactive control synthesis applie…
cs.RO2021
Automata-based Optimal Planning with Relaxed Specifications
Disha Kamale, Eleni Karyofylli, Cristian-Ioan Vasile
In this paper, we introduce an automata-based framework for planning with relaxed specifications. User relaxation preferences are represented as weighted finite state edit systems…