Xinyi-Yu

A second year PhD student at USC CS

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:Python3 0 01
STL-G-examples
Language:HTML10
STL-Synthesis-among-Uncontrollable-Agents
Language:Python3 0 01
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:Python13 2 02
MPM4STL
Language:Julia4 1 01
Multiagent-LTL-Opacity
Language:C4 2 00
STL-Synthesis-among-Uncontrollable-Agents
Language:Python1 0 00
xinyi-yu.github.io
Language:SCSS0 1 00

Xinyi-Yu's Repositories

Xinyi-Yu/MPC4STL-TID
Model Predictive Control for Signal Temporal Logic with Time Interval Decomposition
Language:Python13 2 02
Xinyi-Yu/MPM4STL
Language:Julia4 1 01
Xinyi-Yu/Multiagent-LTL-Opacity
Language:C4 2 00
Xinyi-Yu/ATR-cases
Language:Python1 1 00
Xinyi-Yu/STL-Synthesis-among-Uncontrollable-Agents
Language:Python1 0 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/xinyi-yu.github.io
Language:SCSS0 1 00