Matthew Cleaveland

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 27

Top Topics

Conformal Prediction

Top Venues

IEEE Robotics Autom. Lett.

Publications

Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI (2024)
Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann
Multi-modal conformal prediction regions by optimizing convex shape templates. L4DC (2024)
Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS (2024)
Anushri Dixit, Lars Lindemann, Skylar X. Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. L4DC (2023)
Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Causal Repair of Learning-enabled Cyber-physical Systems. CoRR (2023)
Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA (2023)
Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas
Safe Planning in Dynamic Environments Using Conformal Prediction. IEEE Robotics Autom. Lett. 8 (8) (2023)
Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
Conformal Prediction Regions for Time Series using Linear Complementarity Programming. CoRR (2023)
Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Repairing Learning-Enabled Controllers While Preserving What Works. CoRR (2023)
Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Conservative Safety Monitors of Stochastic Dynamical Systems. NFM (2023)
Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Conservative Safety Monitors of Stochastic Dynamical Systems. CoRR (2023)
Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Distributionally Robust Statistical Verification with Imprecise Neural Networks. CoRR (2023)
Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann
Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates. CoRR (2023)
Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. CoRR (2022)
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
Risk verification of stochastic systems with neural network controllers. Artif. Intell. 313 (2022)
Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. IROS (2022)
Anushri Dixit, Lars Lindemann, Skylar Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. CoRR (2022)
Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas
Safe Planning in Dynamic Environments using Conformal Prediction. CoRR (2022)
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
Confidence Composition for Monitors of Verification Assumptions. ICCPS (2022)
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
Risk Verification of Stochastic Systems with Neural Network Controllers. CoRR (2022)
Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. ICCPS (2022)
Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
Robust Motion Planning in the Presence of Estimation Uncertainty. CoRR (2021)
Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
Robust Motion Planning in the Presence of Estimation Uncertainty. CDC (2021)
Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. CoRR (2021)
Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
Confidence Composition for Monitors of Verification Assumptions. CoRR (2021)
Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. Formal Methods in Outer Space (2021)
Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. SAFECOMP Workshops (2020)