Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1908.00528
Cited By
v1
v2 (latest)
Neural Simplex Architecture
NASA Formal Methods (NFM), 2019
1 August 2019
Dung Phan
Radu Grosu
N. Jansen
Nicola Paoletti
S. Smolka
Scott D. Stoller
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Neural Simplex Architecture"
22 / 22 papers shown
Real-DRL: Teach and Learn in Reality
Y. Mao
Yihao Cai
L. Sha
OffRL
189
0
0
30 Oct 2025
The Use of the Simplex Architecture to Enhance Safety in Deep-Learning-Powered Autonomous Systems
F. Nesti
Niko Salamini
Mauro Marinoni
Giorgio Maria Cicero
Gabriele Serra
Alessandro Biondi
Giorgio Buttazzo
208
0
0
25 Sep 2025
Runtime Learning of Quadruped Robots in Wild Environments
Yihao Cai
Y. Mao
L. Sha
H. Cao
Marco Caccamo
343
3
0
02 Mar 2025
Safety Monitoring of Machine Learning Perception Functions: a Survey
International Conference on Climate Informatics (ICCI), 2024
Raul Sena Ferreira
Joris Guérin
Kevin Delmas
Jérémie Guiochet
H. Waeselynck
474
7
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
294
3
0
02 May 2024
Probabilistic Reach-Avoid for Bayesian Neural Networks
Artificial Intelligence (AIJ), 2023
Matthew Wicker
Luca Laurenti
A. Patané
Nicola Paoletti
Alessandro Abate
Marta Z. Kwiatkowska
260
7
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
185
2
0
24 May 2023
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems
International Conference on Cyber-Physical Systems (ICCPS), 2023
Baiting Luo
Shreyas Ramakrishna
Ava Pettet
Christopher B. Kuhn
G. Karsai
Ayan Mukhopadhyay
174
8
0
20 Feb 2023
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes
International Conference on Hybrid Systems: Computation and Control (HSCC), 2022
Francesca Cairoli
Nicola Paoletti
Luca Bortolussi
370
26
0
04 Nov 2022
Safe Policy Improvement in Constrained Markov Decision Processes
Leveraging Applications of Formal Methods (ISoLA), 2022
Luigi Berducci
Radu Grosu
OffRL
253
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
355
47
0
19 Oct 2022
Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults
Software testing, verification & reliability (STVR), 2022
Ayoosh Bansal
Hunmin Kim
Simon Yu
Yue Liu
N. Hovakimyan
Marco Caccamo
L. Sha
AAML
320
4
0
04 Sep 2022
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2022
Nathaniel P. Hamilton
Kyle Dunlap
Taylor T. Johnson
Kerianne L. Hobbs
OffRL
214
9
0
08 Jul 2022
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
Social Science Research Network (SSRN), 2022
Patrick Musau
Nathaniel P. Hamilton
Diego Manzanas Lopez
Preston K. Robinette
Taylor T. Johnson
169
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
148
24
0
28 Sep 2021
Neural Predictive Monitoring under Partial Observability
Francesca Cairoli
Luca Bortolussi
Nicola Paoletti
196
20
0
16 Aug 2021
Runtime Monitoring for Markov Decision Processes
International Conference on Computer Aided Verification (CAV), 2021
Sebastian Junges
Hazem Torfah
Sanjit A. Seshia
106
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
141
5
0
29 Mar 2021
A Distributed Simplex Architecture for Multi-Agent Systems
International Symposium on Software Engineering: Theories, Tools, and Applications (ISSETTA), 2020
Usama Mehmood
Scott D. Stoller
Radu Grosu
Shouvik Roy
Amol Damare
S. Smolka
AI4CE
84
18
0
18 Dec 2020
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
S. Shivakumar
Hazem Torfah
Ankush Desai
Sanjit A. Seshia
88
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
234
63
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
165
5
0
15 Jun 2020
1
Page 1 of 1
