GitHub repository: vvanirudh/CMAX
Primary language: Python
Description: Planning and Execution using Inaccurate Models with Provable Guarantees