| Formal Verification and Control With Conformal Prediction: Practical Safety Guarantees For Autonomous Systems L Lindemann, Y Zhao, X Yu, GJ Pappas, JV Deshmukh IEEE Control Systems 45 (6), 72-122, 2025 | 49* | 2025 |
| Robust conformal prediction for stl runtime verification under distribution shift Y Zhao, B Hoxha, G Fainekos, JV Deshmukh, L Lindemann 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS), 2023 | 28 | 2023 |
| Signal temporal logic control synthesis among uncontrollable dynamic agents with conformal prediction X Yu, Y Zhao, X Yin, L Lindemann Automatica 183, 112616, 2026 | 14 | 2026 |
| Conformal predictive programming for chance constrained optimization Y Zhao*, X Yu*, M Sesia, JV Deshmukh, L Lindemann arXiv preprint arXiv:2402.07407, 2024 | 10 | 2024 |
| Distributionally robust predictive runtime verification under spatio-temporal logic specifications Y Zhao, E Zhu, B Hoxha, G Fainekos, JV Deshmukh, L Lindemann ACM Transactions on Cyber-Physical Systems 9 (4), 1-26, 2025 | 3 | 2025 |
| Fairguard: Harness logic-based fairness rules in smart cities Y Zhao, Z An, X Gao, A Mukhopadhyay, M Ma Proceedings of the 8th ACM/IEEE Conference on Internet of Things Design and …, 2023 | 3 | 2023 |
| Safety Assurance for Autonomous Systems with Multiple Sensor Modalities A Balakrishnan, R Bernard, S Narayanan, V Kudalkar, Y Zhao, ... 2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for …, 2024 | 1 | 2024 |
| Formal Logic-Guided Harnessing Heterogeneous Fairness Rules in Smart Cities Z An, Y Zhao, X Gao, A Mukhopadhyay, M Ma ACM Transactions on Cyber-Physical Systems 9 (4), 1-28, 2025 | | 2025 |
| STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies Y Zhao*, X Yu*, B Hoxha, G Fainekos, J Deshmukh, L Lindemann ACM Transactions on Embedded Computing Systems, 2025 | | 2025 |
| 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 |
Lars LindemannAssistant Professor of Algorithmic Systems Theory, ETH ZürichVerified email at ethz.ch
