GitHub repository: LAVA-LAB/DynAbs
Primary language: Python
Description: Controller synthesis for uncertain dynamical systems via formal abstractions