30 citations · 63 across the 16 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.RO2020
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems
Wei Huang, Yifan Zhou, Gaojie Jin +4
This paper presents a formal verification guided approach for a principled design and implementation of robust and resilient learning-enabled systems. We focus on learning-enabled…
cs.LG2020
Ranking Policy Decisions
Hadrien Pouget, Hana Chockler, Youcheng Sun +1
Policies trained via Reinforcement Learning (RL) are often needlessly complex, making them difficult to analyse and interpret. In a run with time steps, a policy will make …
cs.CV2020★ 2 cited
Reliability Validation of Learning Enabled Vehicle Tracking
Youcheng Sun, Yifan Zhou, Simon Maskell +2
This paper studies the reliability of a real-world learning-enabled system, which conducts dynamic vehicle tracking based on a high-resolution wide-area motion imagery input. The s…