Jie Meng
发表
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
pdf
Yifan Zhou,
Wei Huang,
Xiaowei Huang,
2020,
ArXiv.
S. Maskell,
Wei Huang,
Yifan Zhou,
2020,
ArXiv.
Kaile Su,
Qingliang Chen,
Xiaowei Huang,
2016,
IJCAI.
Wei Huang,
Youcheng Sun,
Jie Meng,
2019,
IEEE Transactions on Reliability.
Jie Meng,
Xiaowei Huang,
Zhixuan Xu,
2020,
ArXiv.
S. Maskell,
Wei Huang,
Yifan Zhou,
2020,
Neurocomputing.
Wei Huang,
Youcheng Sun,
Jie Meng,
2019,
IEEE Transactions on Reliability.