Folgen
Matthew Cleaveland
Matthew Cleaveland
MIT Lincoln Laboratory
Bestätigte E-Mail-Adresse bei ll.mit.edu
Titel
Zitiert von
Zitiert von
Jahr
Safe planning in dynamic environments using conformal prediction
L Lindemann, M Cleaveland, G Shim, GJ Pappas
IEEE Robotics and Automation Letters, 2023
992023
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
572023
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
222024
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
122021
Risk verification of stochastic systems with neural network controllers
M Cleaveland, L Lindemann, R Ivanov, GJ Pappas
Artificial Intelligence 313, 103782, 2022
112022
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
112022
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
82023
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
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
82020
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
52023
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
52021
Conservative Safety Monitors of Stochastic Dynamical Systems
M Cleaveland, O Sokolsky, I Lee, I Ruchkin
NASA Formal Methods Symposium, 140-156, 2023
42023
Causal Repair of Learning-enabled Cyber-physical Systems
P Lu, I Ruchkin, M Cleaveland, O Sokolsky, I Lee
arXiv preprint arXiv:2304.02813, 2023
22023
Repairing Learning-Enabled Controllers While Preserving What Works
P Lu, M Cleaveland, O Sokolsky, I Lee, I Ruchkin
arXiv preprint arXiv:2311.03477, 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
SCALABLE AND RISK-AWARE VERIFICATION OF LEARNING ENABLED AUTONOMOUS SYSTEMS
M Cleaveland
University of Pennsylvania, 2024
2024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–16