Picture for Yiqi Zhao

Yiqi Zhao

Formal Verification and Control with Conformal Prediction

Add code
Aug 31, 2024
Figure 1 for Formal Verification and Control with Conformal Prediction
Figure 2 for Formal Verification and Control with Conformal Prediction
Figure 3 for Formal Verification and Control with Conformal Prediction
Figure 4 for Formal Verification and Control with Conformal Prediction
Viaarxiv icon

Conformal Predictive Programming for Chance Constrained Optimization

Add code
Feb 12, 2024
Figure 1 for Conformal Predictive Programming for Chance Constrained Optimization
Figure 2 for Conformal Predictive Programming for Chance Constrained Optimization
Figure 3 for Conformal Predictive Programming for Chance Constrained Optimization
Figure 4 for Conformal Predictive Programming for Chance Constrained Optimization
Viaarxiv icon

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift

Add code
Nov 16, 2023
Figure 1 for Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Figure 2 for Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Figure 3 for Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Figure 4 for Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Viaarxiv icon

EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability

Add code
Aug 15, 2023
Figure 1 for EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Figure 2 for EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Figure 3 for EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Figure 4 for EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Viaarxiv icon

Fairguard: Harness Logic-based Fairness Rules in Smart Cities

Add code
Feb 23, 2023
Viaarxiv icon