Neural Predictive Monitoring under Partial Observability

16 August 2021

Papers citing "Neural Predictive Monitoring under Partial Observability"

7 / 7 papers shown

Title
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 72 14 0 31 Aug 2024
Conformal Off-Policy Prediction for Multi-Agent Systems Tom Kuipers Renukanandan Tumu Shuo Yang M. Kazemi Rahul Mangharam Nicola Paoletti OffRL 40 1 0 25 Mar 2024
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees Francesca Cairoli Luca Bortolussi Nicola Paoletti 31 4 0 04 Dec 2023
Distributionally Robust Statistical Verification with Imprecise Neural Networks Souradeep Dutta Michele Caprio Vivian Lin Matthew Cleaveland Kuk Jin Jang I. Ruchkin O. Sokolsky Insup Lee OOD AAML 49 7 0 28 Aug 2023
Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction Shuo Yang George J. Pappas Rahul Mangharam Lars Lindemann 27 20 0 01 Apr 2023
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes Francesca Cairoli Nicola Paoletti Luca Bortolussi 30 18 0 04 Nov 2022
Conformal Prediction for STL Runtime Verification Lars Lindemann Xin Qin Jyotirmoy V. Deshmukh George J. Pappas 32 45 0 03 Nov 2022