Xinyi-Yu

A first year PhD student at USC

University of Southern CaliforniaLos Angeles

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
STL-Synthesis-among-Uncontrollable-Agents
Language:Python11
ATR-cases
Language:Python1 1 00
Conformal-Predictive-Programming-for-CCO
The codes are published for using the results from the paper "Conformal Predictive Programming for Chance Constrained Optimization"
Language:Python0 0 00
MPC4STL-TID
Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition
Language:Python11 2 02
MPM4STL
Language:Julia3 1 01
Multiagent-LTL-Opacity
Language:C4 2 00
STL-Synthesis-among-Uncontrollable-Agents
Language:Python0 0 00
xinyi-yu.github.io
Language:SCSS00

Xinyi-Yu's Repositories

Xinyi-Yu/MPC4STL-TID
Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition
Language:Python11 2 02
Xinyi-Yu/Multiagent-LTL-Opacity
Language:C4 2 00
Xinyi-Yu/MPM4STL
Language:Julia3 1 01
Xinyi-Yu/ATR-cases
Language:Python1 1 00
Xinyi-Yu/Conformal-Predictive-Programming-for-CCO
The codes are published for using the results from the paper "Conformal Predictive Programming for Chance Constrained Optimization"
Language:Python0 0 00
Xinyi-Yu/STL-Synthesis-among-Uncontrollable-Agents
Language:Python0 0 00
Xinyi-Yu/xinyi-yu.github.io
Language:SCSS00