Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Web Resource
|
Formal verification of robustness and resilience of learning-enabled state estimation systems for roboticsWei Huang ; Yifan Zhou ; Youcheng Sun ; Alec Banks ; Jie Meng ; James Sharp ; Simon Maskell ; Xiaowei Huang2020Texto completo disponível |