Matthew Cleaveland

Orcid: 0000-0003-3671-5297

According to our database1, Matthew Cleaveland authored at least 15 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Multi-modal conformal prediction regions by optimizing convex shape templates.
Proceedings of the 6th Annual Learning for Dynamics & Control Conference, 2024

Repairing Learning-Enabled Controllers While Preserving What Works.
Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

Conformal Prediction Regions for Time Series Using Linear Complementarity Programming.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Safe Planning in Dynamic Environments Using Conformal Prediction.
IEEE Robotics Autom. Lett., 2023

Distributionally Robust Statistical Verification with Imprecise Neural Networks.
CoRR, 2023

Conservative Safety Monitors of Stochastic Dynamical Systems.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Adaptive Conformal Prediction for Motion Planning among Dynamic Agents.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Causal Repair of Learning-Enabled Cyber-Physical Systems.
Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2022
Risk verification of stochastic systems with neural network controllers.
Artif. Intell., 2022

Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Confidence Composition for Monitors of Verification Assumptions.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

2021
Robust Motion Planning in the Presence of Estimation Uncertainty.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper.
Proceedings of the Formal Methods in Outer Space, 2021

2020
Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020


  Loading...