JianqiangDing

Formal Methods, Control Theory

Finland

Pinned Repositories

docs.pybdr
Language:JavaScript0 1 00
PyBDR
Boundary analysis based Reachability analysis Toolbox for dynamic systems in Python
Language:Python11 1 01
irafhy
an Interval arithmetic based reachability analysis Framework designed for hybrid automatons
Language:C++2 1 01
JianqiangDing
00
jianqiangding.github.io
Language:HTML00
TerminalMediaViewer
An utf-8/truecolor image and video viewer for the terminal
Language:C109 4 95
SOSTOOLS
A free MATLAB toolbox for formulating and solving sums of squares (SOS) optimization programs
Language:MATLAB54 7 1615
opening-and-closing-surfaces
Public code release for the SIGGRAPH Asia 2020 paper "Opening and Closing Surfaces", authored by Silvia Sellán, Ang Yan Sheng, Jacob Kesten and Alec Jacobson
Language:C++22 1 14
auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
Language:Python282 8 8069

JianqiangDing's Repositories

JianqiangDing/irafhy
an Interval arithmetic based reachability analysis Framework designed for hybrid automatons
Language:C++2 1 01
JianqiangDing/JianqiangDing
00
JianqiangDing/jianqiangding.github.io
Language:HTML00