Design-while-verify: correct-by-construction control learning with verification in the loop | 0 | 0.34 | 2022 |
Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. | 0 | 0.34 | 2021 |
Safety-Assured Design and Adaptation of Learning-Enabled Autonomous Systems | 1 | 0.37 | 2021 |
Cocktail: Learn a Better Neural Network Controller from Multiple Experts via Adaptive Mixing and Robust Distillation | 1 | 0.37 | 2021 |
Leveraging Weakly-hard Constraints for Improving System Fault Tolerance with Functional and Timing Guarantees | 0 | 0.34 | 2020 |
Know the Unknowns: Addressing Disturbances and Uncertainties in Autonomous Systems : Invited Paper | 0 | 0.34 | 2020 |
Distributed Multi-agent Video Fast-forwarding | 0 | 0.34 | 2020 |
Opportunistic Intermittent Control with Safety Guarantees for Autonomous Systems | 3 | 0.40 | 2020 |
Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems | 0 | 0.34 | 2019 |
Design Automation for Intelligent Automotive Systems | 0 | 0.34 | 2018 |
Addressing Extensibility and Fault Tolerance in CAN-based Automotive Systems. | 0 | 0.34 | 2017 |