| Safe planning in dynamic environments using conformal prediction L Lindemann, M Cleaveland, G Shim, GJ Pappas IEEE Robotics and Automation Letters 8 (8), 5116-5123, 2023 | 199 | 2023 |
| Adaptive conformal prediction for motion planning among dynamic agents A Dixit, L Lindemann, SX Wei, M Cleaveland, GJ Pappas, JW Burdick Learning for Dynamics and Control Conference, 300-314, 2023 | 98 | 2023 |
| Conformal prediction regions for time series using linear complementarity programming M Cleaveland, I Lee, GJ Pappas, L Lindemann Proceedings of the AAAI Conference on Artificial Intelligence 38 (19), 20984 …, 2024 | 46 | 2024 |
| Multi-modal conformal prediction regions by optimizing convex shape templates R Tumu, M Cleaveland, R Mangharam, G Pappas, L Lindemann 6th Annual Learning for Dynamics & Control Conference, 1343-1356, 2024 | 23 | 2024 |
| Confidence Composition for Monitors of Verification Assumptions I Ruchkin, M Cleaveland, R Ivanov, P Lu, T Carpenter, O Sokolsky, I Lee 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022 | 21 | 2022 |
| Distributionally robust statistical verification with imprecise neural networks S Dutta, M Caprio, V Lin, M Cleaveland, KJ Jang, I Ruchkin, O Sokolsky, ... Proceedings of the 28th ACM International Conference on Hybrid Systems …, 2025 | 17 | 2025 |
| Robust motion planning in the presence of estimation uncertainty L Lindemann, M Cleaveland, Y Kantaros, GJ Pappas 2021 60th IEEE Conference on Decision and Control (CDC), 5205-5212, 2021 | 17 | 2021 |
| Risk verification of stochastic systems with neural network controllers M Cleaveland, L Lindemann, R Ivanov, GJ Pappas Artificial Intelligence 313, 103782, 2022 | 16 | 2022 |
| Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis M Cleaveland, I Ruchkin, O Sokolsky, I Lee 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022 | 16 | 2022 |
| Conservative Safety Monitors of Stochastic Dynamical Systems M Cleaveland, O Sokolsky, I Lee, I Ruchkin NASA Formal Methods Symposium, 140-156, 2023 | 10 | 2023 |
| Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks R Kaur, R Ivanov, M Cleaveland, O Sokolsky, I Lee International Conference on Computer Safety, Reliability, and Security, 82-97, 2020 | 10 | 2020 |
| Causal repair of learning-enabled cyber-physical systems P Lu, I Ruchkin, M Cleaveland, O Sokolsky, I Lee 2023 IEEE International Conference on Assured Autonomy (ICAA), 1-10, 2023 | 5 | 2023 |
| Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems I Ruchkin, M Cleaveland, O Sokolsky, I Lee Formal Methods in Outer Space, 137-146, 2021 | 5 | 2021 |
| Learning enabled fast planning and control in dynamic environments with intermittent information M Cleaveland, E Yel, Y Kantaros, I Lee, N Bezzo 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2022 | 3 | 2022 |
| Conservative Perception Models for Probabilistic Verification M Cleaveland, P Lu, O Sokolsky, I Lee, I Ruchkin arXiv preprint arXiv:2503.18077, 2025 | 2 | 2025 |
| Repairing Learning-Enabled Controllers While Preserving What Works P Lu, M Cleaveland, O Sokolsky, I Lee, I Ruchkin arXiv preprint arXiv:2311.03477, 2023 | 1 | 2023 |
| Conformal Prediction for Signal Temporal Logic Inference D Li, Y Wang, M Cleaveland, M Cai, R Tron arXiv preprint arXiv:2509.25473, 2025 | | 2025 |
| Repairing Neural Network-based Control Policies with Safety Preservation P Lu, M Cleaveland, O Sokolsky, I Lee, I Ruchkin Research Directions: Cyber-Physical Systems, 1-40, 2025 | | 2025 |
| Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates R Tumu, M Cleaveland, R Mangharam, GJ Pappas, L Lindemann PMLR, 2024 | | 2024 |
| SCALABLE AND RISK-AWARE VERIFICATION OF LEARNING ENABLED AUTONOMOUS SYSTEMS M Cleaveland University of Pennsylvania, 2024 | | 2024 |
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
