Matthew Cleaveland

35 papers A* 1A 1Journal 22Unranked 11

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Conformalized Signal Temporal Logic Inference under Covariate Shift. CoRR Yixuan Wang, Danyang Li, Matthew Cleaveland, Roberto Tron, Mingyu Cai
2026	J	`jnl`	ReFORM: Reflected Flows for On-support Offline RL via Noise Manipulation. CoRR Songyuan Zhang, Oswin So, H. M. Sabbir Ahmad, Eric Yang Yu, Matthew Cleaveland, Mitchell Black, Chuchu Fan
2026	J	`jnl`	Real-Time Optical Communication Using Event-Based Vision with Moving Transmitters. CoRR Harmeet Dhillon, Pranay Katyal, Brendan Long, Rohan Walia, Matthew Cleaveland, Kevin Leahy
2026	J	`jnl`	Solving Parameter-Robust Avoid Problems with Unknown Feasibility using Reinforcement Learning. CoRR Oswin So, Eric Yang Yu, Songyuan Zhang, Matthew Cleaveland, Mitchell Black, Chuchu Fan
2025	J	`jnl`	Conformal Prediction for Signal Temporal Logic Inference. CoRR Danyang Li, Yixuan Wang, Matthew Cleaveland, Mingyu Cai, Roberto Tron
2025	J	`jnl`	Conservative Perception Models for Probabilistic Model Checking. CoRR Matthew Cleaveland, Pengyuan Lu, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2025	—	`conf`	Distributionally Robust Statistical Verification with Imprecise Neural Networks. HSCC Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2025	J	`jnl`	Risk Mitigation for Interval Signal Temporal Logic Monitoring and Synthesis. IEEE Control. Syst. Lett. Luke Baird, Andrew Schoer, Matthew Cleaveland, Samuel Coogan, Kevin Leahy
2024	A*	`conf`	Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
2024	—	`conf`	Multi-modal conformal prediction regions by optimizing convex shape templates. L4DC Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann
2024	—	`conf`	Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2023	—	`conf`	Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. L4DC Anushri Dixit, Lars Lindemann, Skylar X. Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick
2023	—	`conf`	Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Causal Repair of Learning-enabled Cyber-physical Systems. CoRR Pengyuan Lu, Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Conformal Prediction Regions for Time Series using Linear Complementarity Programming. CoRR Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann
2023	—	`conf`	Conservative Safety Monitors of Stochastic Dynamical Systems. NFM Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2023	J	`jnl`	Conservative Safety Monitors of Stochastic Dynamical Systems. CoRR Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Distributionally Robust Statistical Verification with Imprecise Neural Networks. CoRR Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2023	J	`jnl`	Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates. CoRR Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann
2023	J	`jnl`	Repairing Learning-Enabled Controllers While Preserving What Works. CoRR Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
2023	J	`jnl`	Safe Planning in Dynamic Environments Using Conformal Prediction. IEEE Robotics Autom. Lett. Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas
2022	J	`jnl`	Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. CoRR Anushri Dixit, Lars Lindemann, Skylar Wei, Matthew Cleaveland, George J. Pappas, Joel W. Burdick
2022	—	`conf`	Confidence Composition for Monitors of Verification Assumptions. ICCPS Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
2022	A	`conf`	Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. IROS Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo
2022	J	`jnl`	Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. CoRR Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo
2022	—	`conf`	Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. ICCPS Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2022	J	`jnl`	Risk Verification of Stochastic Systems with Neural Network Controllers. CoRR Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
2022	J	`jnl`	Risk verification of stochastic systems with neural network controllers. Artif. Intell. Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
2022	J	`jnl`	Safe Planning in Dynamic Environments using Conformal Prediction. CoRR Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas
2021	J	`jnl`	Confidence Composition for Monitors of Verification Assumptions. CoRR Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee
2021	—	`conf`	Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. Formal Methods in Outer Space Ivan Ruchkin, Matthew Cleaveland, Oleg Sokolsky, Insup Lee
2021	J	`jnl`	Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. CoRR Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee
2021	—	`conf`	Robust Motion Planning in the Presence of Estimation Uncertainty. CDC Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
2021	J	`jnl`	Robust Motion Planning in the Presence of Estimation Uncertainty. CoRR Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
2020	—	`conf`	Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. SAFECOMP Workshops Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee