Safe planning in dynamic environments using conformal prediction L Lindemann, M Cleaveland, G Shim, GJ Pappas IEEE Robotics and Automation Letters, 2023 | 72 | 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 | 42 | 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 | 15 | 2024 |
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 | 11 | 2021 |
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 | 10 | 2022 |
Risk verification of stochastic systems with neural network controllers M Cleaveland, L Lindemann, R Ivanov, GJ Pappas Artificial Intelligence 313, 103782, 2022 | 9 | 2022 |
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 | 8 | 2020 |
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 | 7 | 2022 |
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 | 4 | 2021 |
Distributionally Robust Statistical Verification with Imprecise Neural Networks S Dutta, M Caprio, V Lin, M Cleaveland, KJ Jang, I Ruchkin, O Sokolsky, ... arXiv preprint arXiv:2308.14815, 2023 | 3 | 2023 |
Conservative Safety Monitors of Stochastic Dynamical Systems M Cleaveland, O Sokolsky, I Lee, I Ruchkin NASA Formal Methods Symposium, 140-156, 2023 | 2 | 2023 |
Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates R Tumu, M Cleaveland, R Mangharam, GJ Pappas, L Lindemann arXiv preprint arXiv:2312.07434, 2023 | 1 | 2023 |
Causal Repair of Learning-enabled Cyber-physical Systems P Lu, I Ruchkin, M Cleaveland, O Sokolsky, I Lee arXiv preprint arXiv:2304.02813, 2023 | 1 | 2023 |
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 | 1 | 2022 |
SCALABLE AND RISK-AWARE VERIFICATION OF LEARNING ENABLED AUTONOMOUS SYSTEMS M Cleaveland University of Pennsylvania, 2024 | | 2024 |
Repairing Learning-Enabled Controllers While Preserving What Works P Lu, M Cleaveland, O Sokolsky, I Lee, I Ruchkin arXiv preprint arXiv:2311.03477, 2023 | | 2023 |