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

Qian Meng, Jin Peng Zhou, Kilian Q. Weinberger +1

This paper presents INPROVF, an automatic framework that combines large language models (LLMs) and formal methods to speed up the repair process of high-level robot controllers. Pr…