zhaoy37

Pinned Repositories

Conformal-Predictive-Programming-for-CCO
The codes are published for using the results from the paper "Conformal Predictive Programming for Chance Constrained Optimization"
Language:Python21
Robust-Conformal-Prediction-for-STL-Runtime-Verification-under-Distribution-Shift
Language:Python2 0 00
Robust_Spatio-Temporal_Predictive_Runtime_Verification
In this github repository, we share the codes on the paper "Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Specifications"
Language:Python00
STL-Synthesis-among-Uncontrollable-Agents
Language:Python1 0 01
SAT_Solver
Language:Python8 1 01
zhaoy37.github.io
Language:Jupyter Notebook0 1 00

zhaoy37's Repositories

zhaoy37/SAT_Solver
Language:Python8 1 01
zhaoy37/zhaoy37.github.io
Language:Jupyter Notebook0 1 00