An STL-Based Formulation of Resilience in Cyber-Physical Systems. | 0 | 0.34 | 2022 |
MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas. | 0 | 0.34 | 2021 |
Bayesian Neural Predictive Monitoring | 0 | 0.34 | 2020 |
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. | 0 | 0.34 | 2017 |