GitHub repository: yuanggeng/Bridging-dimensions
Primary language: C++
Created: 2024-01-29T22:31:32Z
Description: These are two case studies for the paper "bridging dimensions: confident reachability for high-dimensional controllers"