Picture for Qian Meng

Qian Meng

INPROVF: Leveraging Large Language Models to Repair High-level Robot Controllers from Assumption Violations

Add code
Mar 17, 2025
Viaarxiv icon

Physically-Feasible Reactive Synthesis for Terrain-Adaptive Locomotion via Trajectory Optimization and Symbolic Repair

Add code
Mar 05, 2025
Viaarxiv icon

Automated Robot Recovery from Assumption Violations of High-Level Specifications

Add code
Jul 02, 2024
Viaarxiv icon