Matthew Cleaveland
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | AAAI | Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. | Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann |
| 2022 | IROS | Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. | Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo |
| 2020 | SAFECOMP | Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. | Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee |