Predictive Runtime Verification of Learning-Enabled Systems with Conformal Prediction

Abstract: Accelerated by rapid advances in machine learning and AI, there has been tremendous success in the design of learning-enabled autonomous systems in areas such as autonomous driving, intelligent transportation, and robotics. However, these exciting developments are accompanied by new fundamental challenges that arise regarding the safety and reliability of these increasingly complex control systems in which sophisticated algorithms interact with unknown environments. In this talk, I will provide new insights and discuss exciting opportunities to address these challenges.

Image
Lars Lindemann

Biography: Lars Lindemann is an Assistant Professor in the Thomas Lord Department of Computer Science at the University of Southern California (USC), where he leads the Safe Autonomy and Intelligent Distributed Systems (SAIDS) lab. At USC, he is also the Associate Director of the Center for Autonomy and Artificial Intelligence and a member of the Ming Hsieh Department of Electrical and Computer Engineering (by courtesy) and the Robotics and Autonomous Systems Center. Between 2020 and 2022, he was a Postdoctoral Fellow in the Department of Electrical and Systems Engineering at the University of Pennsylvania. Prior to that, he received the Ph.D. degree in Electrical Engineering from KTH Royal Institute of Technology in 2020. His research interests include systems and control theory, formal methods, machine learning, and autonomous systems. Professor Lindemann received the Outstanding Student Paper Award at the 58th IEEE Conference on Decision and Control and the Student Best Paper Award (as an advisor) at the 60th IEEE Conference on Decision and Control. He was a finalist for the Best Paper Award (as an advisor) at the 2024 International Conference on Cyber-Physical Systems, the Best Paper Award at the 2022 Conference on Hybrid Systems: Computation and Control, and the Best Student Paper Award at the 2018 American Control Conference.

Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.