Popular repositories Loading

1. SNBC SNBC Public

   Code from the paper "Neural Barrier Certificates Synthesis of NN-Controlled Continuous Systems via Counterexample-Guided Learning", published at the 61st ACM/IEEE Design Automation Conference.

   Python 2

2. SynHbc SynHbc Public

   The code for the paper "Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance", published in IEEE Transactions on Computer-Aided Design of Integrated Circuit…

   Python 1

3. clash_for_server clash_for_server Public

   Python 1 1

4. geometry-optimization geometry-optimization Public

   Code for the paper "Global Optimization for Heilbronn Problem of Convex Polygons Based on Bilinear Matrix Inequalities Solving", published in Journal of Systems Science and Complexity.

   MATLAB

5. Interpolant Interpolant Public

   Python

6. SynNLF SynNLF Public

   Python