Xudong Qin

Multi-Agent Cooperative Target Search Based on Reinforcement Learning

Yuan Liu, Rui Zhou, Xiaomao Li, 2020 .

Optimal Joint Offloading and Wireless Scheduling for Parallel Computing with Deadlines

Bin Li, Weijian Xu, Xudong Qin, 2019, 2019 International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks (WiOPT).

Using SMT Engine to Generate Symbolic Automata

Simon Bliudze, Eric Madelaine, Min Zhang, 2018, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Using SMT engine to generate Symbolic Automata -Extended version

Min Zhang, Simon Bliudze, Eric Madelaine, 2018 .

Verifying Quantum Communication Protocols with Ground Bisimulation

Yuxin Deng, Wenjie Du, Xudong Qin, 2020, TACAS.

SMT-based generation of symbolic automata

Min Zhang, Yuxin Deng, Simon Bliudze, 2020, Acta Informatica.

Study on Virtual Prototyping testing platform for Flight Control Computer System of civil aircraft

Zongji Chen, Xiaozhe Sun, Xudong Qin, 2008, 2008 Asia Simulation Conference - 7th International Conference on System Simulation and Scientific Computing.

A Neural Network Adaptive Fault-Tolerant Control Method for Launch Vehicles with the Limited Faults

Yu Chen, Haiyang Zhu, Yi Rong, 2020 .

Cost analysis of nondeterministic probabilistic programs

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, 2019, PLDI.

Motion-Prediction-based Wireless Scheduling for Multi-User Panoramic Video Streaming

Bo Ji, Xudong Qin, Jiangong Chen, 2021, IEEE INFOCOM 2021 - IEEE Conference on Computer Communications.

Distributed Threshold-based Offloading for Large-Scale Mobile Cloud Computing

Lei Ying, Bin Li, Xudong Qin, 2021, IEEE INFOCOM 2021 - IEEE Conference on Computer Communications.