Follow
Matthew Cleaveland
Matthew Cleaveland
Verified email at seas.upenn.edu
Title
Cited by
Cited by
Year
Safe planning in dynamic environments using conformal prediction
L Lindemann, M Cleaveland, G Shim, GJ Pappas
IEEE Robotics and Automation Letters, 2023
642023
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
372023
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
142024
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
112021
Risk verification of stochastic systems with neural network controllers
M Cleaveland, L Lindemann, R Ivanov, GJ Pappas
Artificial Intelligence 313, 103782, 2022
82022
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
82022
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
72020
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
62022
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
32023
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
32021
Conservative Safety Monitors of Stochastic Dynamical Systems
M Cleaveland, O Sokolsky, I Lee, I Ruchkin
NASA Formal Methods Symposium, 140-156, 2023
22023
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
12023
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
12022
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
Causal Repair of Learning-enabled Cyber-physical Systems
P Lu, I Ruchkin, M Cleaveland, O Sokolsky, I Lee
arXiv preprint arXiv:2304.02813, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–15