Xueyi Zou
Xueyi Zou
Huawei Noah's Ark Lab
Verified email at huawei.com - Homepage
Title
Cited by
Cited by
Year
Verification and control of partially observable probabilistic systems
G Norman, D Parker, X Zou
Real-Time Systems 53 (3), 354-402, 2017
322017
Safety validation of sense and avoid algorithms using simulation and evolutionary search
X Zou, R Alexander, J McDermid
International Conference on Computer Safety, Reliability, and Security, 33-48, 2014
232014
On the validation of a uav collision avoidance system developed by model-based optimization: Challenges and a tentative partial solution
X Zou, R Alexander, J McDermid
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
152016
Ntire 2020 challenge on real-world image super-resolution: Methods and results
A Lugmayr, M Danelljan, R Timofte, N Ahn, D Bai, J Cai, Y Cao, J Chen, ...
arXiv preprint arXiv:2005.01996, 2020
102020
Verification and control of partially observable probabilistic real-time systems
G Norman, D Parker, X Zou
International Conference on Formal Modeling and Analysis of Timed Systems …, 2015
102015
The methods of FPGA software verification
D Zheng, Y Wang, Z Xueyi
2011 IEEE International Conference on Computer Science and Automation …, 2011
92011
Testing method for multi-uav conflict resolution using agent-based simulation and multi-objective search
X Zou, R Alexander, J McDermid
Journal of Aerospace Information Systems, 191-203, 2016
82016
AIM 2019 Challenge on Constrained Super-Resolution: Methods and Results
K Zhang, S Gu, R Timofte, Z Hui, X Wang, X Gao, D Xiong, S Liu, R Gang, ...
arXiv preprint arXiv:1911.01249, 2019
32019
Supporting Validation of UAV Sense-and-Avoid Algorithms with Agent-Based Simulation and Evolutionary Search
X Zou
Department of Computer Science, University of York, 2016
12016
Validating Unmanned Aerial Vehicle Sense and Avoid Algorithms with Evolutionary Search
X Zou
2016
The system can't perform the operation now. Try again later.
Articles 1–10