Folgen
Yiqi Zhao
Titel
Zitiert von
Zitiert von
Jahr
Signal temporal logic control synthesis among uncontrollable dynamic agents with conformal prediction
X Yu, Y Zhao, X Yin, L Lindemann
arXiv preprint arXiv:2312.04242, 2023
62023
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
Y Zhao, B Hoxha, G Fainekos, JV Deshmukh, L Lindemann
15th ACM/IEEE International Conference on Cyber-Physical Systems, 2023
42023
Fairguard: Harness Logic-based Fairness Rules in Smart Cities
Y Zhao, Z An, X Gao, A Mukhopadhyay, M Ma
8th ACM/IEEE Conference on Internet of Things Design and Implementation, 2023
32023
Formal verification and control with conformal prediction
L Lindemann, Y Zhao, X Yu, GJ Pappas, JV Deshmukh
arXiv preprint arXiv:2409.00536, 2024
22024
Conformal Predictive Programming for Chance Constrained Optimization
Y Zhao*, X Yu*, JV Deshmukh, L Lindemann
arXiv preprint arXiv:2402.07407, 2024
12024
Safety Assurance for Autonomous Systems with Multiple Sensor Modalities
A Balakrishnan, R Bernard, S Narayanan, V Kudalkar, Y Zhao, ...
22nd ACM-IEEE International Symposium on Formal Methods and Models for …, 2024
2024
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability
Y Zhao, Z An, M Ma, T Johnson
arXiv preprint arXiv:2308.07890, 2023
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–7