Skip to content
@ASAG-ISCAS

ASAG@ISCAS

Autonomous Systems and AI Group, led by research professor Bai Xue, in State Key Labortory of Computer Science, Institue of Software Chinese Academy of Sciences

Pinned Loading

  1. PyBDR PyBDR Public

    Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python

    Python 19 3

  2. BdryReach BdryReach Public

    Outer- and inner-approximation computation toolbox based on boundary analysis in C++

    Roff 1

Repositories

Showing 3 of 3 repositories

Top languages

Loading…

Most used topics

Loading…