default search action
Matthew Cleaveland
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c12]Matthew Cleaveland, Insup Lee, George J. Pappas, Lars Lindemann:
Conformal Prediction Regions for Time Series Using Linear Complementarity Programming. AAAI 2024: 20984-20992 - [c11]Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin:
Repairing Learning-Enabled Controllers While Preserving What Works. ICCPS 2024: 1-11 - [c10]Renukanandan Tumu, Matthew Cleaveland, Rahul Mangharam, George J. Pappas, Lars Lindemann:
Multi-modal conformal prediction regions by optimizing convex shape templates. L4DC 2024: 1343-1356 - 2023
- [j2]Lars Lindemann
, Matthew Cleaveland
Safe Planning in Dynamic Environments Using Conformal Prediction. IEEE Robotics Autom. Lett. 8(8): 5116-5123 (2023) - [c9]Pengyuan Lu, Ivan Ruchkin
Causal Repair of Learning-Enabled Cyber-Physical Systems. ICAA 2023: 1-10 - [c8]Anushri Dixit
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. L4DC 2023: 300-314 - [c7]Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Conservative Safety Monitors of Stochastic Dynamical Systems. NFM 2023: 140-156 - [i13]Matthew Cleaveland, Ivan Ruchkin
Conservative Safety Monitors of Stochastic Dynamical Systems. CoRR abs/2301.11330 (2023) - [i12]Matthew Cleaveland, Insup Lee, George J. Pappas
Conformal Prediction Regions for Time Series using Linear Complementarity Programming. CoRR abs/2304.01075 (2023) - [i11]Pengyuan Lu, Ivan Ruchkin
Causal Repair of Learning-enabled Cyber-physical Systems. CoRR abs/2304.02813 (2023) - [i10]Souradeep Dutta, Michele Caprio, Vivian Lin, Matthew Cleaveland, Kuk Jin Jang, Ivan Ruchkin
Distributionally Robust Statistical Verification with Imprecise Neural Networks. CoRR abs/2308.14815 (2023) - [i9]Pengyuan Lu, Matthew Cleaveland, Oleg Sokolsky, Insup Lee, Ivan Ruchkin
Repairing Learning-Enabled Controllers While Preserving What Works. CoRR abs/2311.03477 (2023) - [i8]Renukanandan Tumu
Multi-Modal Conformal Prediction Regions by Optimizing Convex Shape Templates. CoRR abs/2312.07434 (2023) - 2022
- [j1]Matthew Cleaveland
Risk verification of stochastic systems with neural network controllers. Artif. Intell. 313: 103782 (2022) - [c6]Ivan Ruchkin
Confidence Composition for Monitors of Verification Assumptions. ICCPS 2022: 1-12 - [c5]Matthew Cleaveland, Ivan Ruchkin
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. ICCPS 2022: 92-103 - [c4]Matthew Cleaveland, Esen Yel
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. IROS 2022: 10290-10296 - [i7]Matthew Cleaveland, Esen Yel, Yiannis Kantaros, Insup Lee, Nicola Bezzo:
Learning Enabled Fast Planning and Control in Dynamic Environments with Intermittent Information. CoRR abs/2209.04534 (2022) - [i6]Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas
Risk Verification of Stochastic Systems with Neural Network Controllers. CoRR abs/2209.09881 (2022) - [i5]Lars Lindemann, Matthew Cleaveland, Gihyun Shim, George J. Pappas:
Safe Planning in Dynamic Environments using Conformal Prediction. CoRR abs/2210.10254 (2022) - [i4]Anushri Dixit, Lars Lindemann, Skylar Wei, Matthew Cleaveland, George J. Pappas
Adaptive Conformal Prediction for Motion Planning among Dynamic Agents. CoRR abs/2212.00278 (2022) - 2021
- [c3]Ivan Ruchkin
Confidence Monitoring and Composition for Dynamic Assurance of Learning-Enabled Autonomous Systems - Position Paper. Formal Methods in Outer Space 2021: 137-146 - [c2]Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas
Robust Motion Planning in the Presence of Estimation Uncertainty. CDC 2021: 5205-5212 - [i3]Lars Lindemann, Matthew Cleaveland, Yiannis Kantaros, George J. Pappas:
Robust Motion Planning in the Presence of Estimation Uncertainty. CoRR abs/2108.11983 (2021) - [i2]Matthew Cleaveland, Ivan Ruchkin, Oleg Sokolsky, Insup Lee:
Monotonic Safety for Scalable and Data-Efficient Probabilistic Safety Analysis. CoRR abs/2111.03781 (2021) - [i1]Ivan Ruchkin, Matthew Cleaveland, Radoslav Ivanov, Pengyuan Lu, Taylor J. Carpenter, Oleg Sokolsky, Insup Lee:
Confidence Composition for Monitors of Verification Assumptions. CoRR abs/2111.03782 (2021) - 2020
- [c1]Ramneet Kaur, Radoslav Ivanov, Matthew Cleaveland, Oleg Sokolsky, Insup Lee:
Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks. SAFECOMP Workshops 2020: 82-97
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: