Jie Meng
发表
Xiaowei Huang,
Minghui Qian,
Zhixuan Xu,
2020,
ArXiv.
Henri Calandra,
Andreas Atle,
Mauricio Araya-Polo,
2020,
ArXiv.
Mauricio Araya-Polo,
Barbara Chapman,
Jie Meng,
2020,
IWOMP.
John Mellor-Crummey,
Mauricio Araya-Polo,
Xiaozhu Meng,
2020,
2020 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS).
Shengju Yang,
Jie Meng,
Jia Tao,
2020,
2020 IEEE 4th Information Technology, Networking, Electronic and Automation Control Conference (ITNEC).
Zhang Xiaolong,
Liu Chao,
Gen Li,
2020
.
Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
pdf
Yifan Zhou,
Wei Huang,
Xiaowei Huang,
2020,
ArXiv.