Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference

3 August 2021

Papers citing "Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference"

10 / 10 papers shown

Title
Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction Shuyang Dong Meiyi Ma Josephine Lamp Sebastian G. Elbaum Matthew B. Dwyer Lu Feng 64 0 0 17 Dec 2024
Anticipating Oblivious Opponents in Stochastic Games Shadi Tasdighi Kalat Sriram Sankaranarayanan Ashutosh Trivedi 9 0 0 18 Sep 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 55 12 0 31 Aug 2024
$L^*LM$ : Learning Automata from Examples using Natural Language Oracles Marcell Vazquez-Chanlatte Karim Elmaaroufi Stefan J. Witwicki S. Seshia 16 4 0 10 Feb 2024
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees Francesca Cairoli Luca Bortolussi Nicola Paoletti 16 3 0 04 Dec 2023
Model-Based Runtime Monitoring with Interactive Imitation Learning Huihan Liu Shivin Dass Roberto Martín-Martín Yuke Zhu 26 19 0 26 Oct 2023
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes Francesca Cairoli Nicola Paoletti Luca Bortolussi 17 17 0 04 Nov 2022
Conformal Prediction for STL Runtime Verification Lars Lindemann Xin Qin Jyotirmoy V. Deshmukh George J. Pappas 13 43 0 03 Nov 2022
The Magni Human Motion Dataset: Accurate, Complex, Multi-Modal, Natural, Semantically-Rich and Contextualized Tim Schreiter Tiago Rodrigues de Almeida Yufei Zhu Eduardo Gutiérrez-Maestro L. Morillo-Méndez ... Óscar Martínez Mozos Martin Magnusson Luigi Palmieri Kai O. Arras A. Lilienthal 16 9 0 31 Aug 2022
Demonstration Informed Specification Search Marcell Vazquez-Chanlatte Ameesh Shah Gil Lederman S. Seshia 10 3 0 20 Dec 2021