Neural Simplex Architecture

1 August 2019

Papers citing "Neural Simplex Architecture"

21 / 21 papers shown

Title
Runtime Learning of Quadruped Robots in Wild Environments Yihao Cai Y. Mao L. Sha H. Cao Marco Caccamo 51 0 0 02 Mar 2025
Safety Monitoring of Machine Learning Perception Functions: a Survey Raul Sena Ferreira Joris Guérin Kevin Delmas Jérémie Guiochet H. Waeselynck 72 0 0 09 Dec 2024
Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving Zhenjiang Mao Dong-You Jhong Ao Wang Ivan Ruchkin OODD 44 2 0 02 May 2024
Probabilistic Reach-Avoid for Bayesian Neural Networks Matthew Wicker Luca Laurenti A. Patané Nicola Paoletti Alessandro Abate Marta Z. Kwiatkowska 24 2 0 03 Oct 2023
Timeseries-aware Uncertainty Wrappers for Uncertainty Quantification of Information-Fusion-Enhanced AI Models based on Machine Learning Janek Groß Michael Kläs Lisa Jöckel Pascal Gerber 20 2 0 24 May 2023
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems Baiting Luo Shreyas Ramakrishna Ava Pettet Christopher B. Kuhn G. Karsai Ayan Mukhopadhyay 20 5 0 20 Feb 2023
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes Francesca Cairoli Nicola Paoletti Luca Bortolussi 33 18 0 04 Nov 2022
Safe Policy Improvement in Constrained Markov Decision Processes Luigi Berducci Radu Grosu OffRL 36 2 0 20 Oct 2022
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes Niklas Kochdumper Hanna Krasowski Xiao Wang Stanley Bak Matthias Althoff 35 28 0 19 Oct 2022
Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults Ayoosh Bansal Hunmin Kim Simon Yu Bo-wen Li N. Hovakimyan Marco Caccamo L. Sha AAML 37 4 0 04 Sep 2022
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents Nathaniel P. Hamilton Kyle Dunlap Taylor T. Johnson Kerianne L. Hobbs OffRL 29 8 0 08 Jul 2022
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles Patrick Musau Nathaniel P. Hamilton Diego Manzanas Lopez Preston K. Robinette Taylor T. Johnson 27 0 0 03 May 2022
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles Shengduo Chen Yao Sun Dachuan Li Qiang Wang Qi Hao J. Sifakis 57 15 0 28 Sep 2021
Neural Predictive Monitoring under Partial Observability Francesca Cairoli Luca Bortolussi Nicola Paoletti 30 14 0 16 Aug 2021
Runtime Monitoring for Markov Decision Processes Sebastian Junges Hazem Torfah S. Seshia 7 5 0 26 May 2021
Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles Daniel Jackson Valerie Richmond Mike Wang Jeff Chow Uriel Guajardo Soonho Kong S. Campos Geoffrey Litt Nikos Arechiga 12 5 0 29 Mar 2021
A Distributed Simplex Architecture for Multi-Agent Systems Usama Mehmood Scott D. Stoller Radu Grosu Shouvik Roy Amol Damare S. Smolka AI4CE 14 15 0 18 Dec 2020
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System S. Shivakumar Hazem Torfah Ankush Desai S. Seshia 4 16 0 21 Aug 2020
Verifiably Safe Exploration for End-to-End Reinforcement Learning Nathan Hunt Nathan Fulton Sara Magliacane Nghia Hoang Subhro Das Armando Solar-Lezama OffRL 9 49 0 02 Jul 2020
Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges Nathan Fulton Nathan Hunt Nghia Hoang Subhro Das 11 5 0 15 Jun 2020
Safe Exploration in Markov Decision Processes T. Moldovan Pieter Abbeel 78 308 0 22 May 2012