Linquan Xing

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Infinite Horizon

Embedded Systems

Markov Decision Problems

Relational Domains

Top Venues

IEEE Trans. Ind. Informatics

Publications

Zhibin Yang, Linquan Xing, Zonghua Gu, Yingmin Xiao, Yong Zhou, Zhiqiu Huang, Lei Xue
Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems. IEEE Trans. Ind. Informatics 19 (1) (2023)
Jian Xie, Wenan Tan, Zhibin Yang, Shuming Li, Linquan Xing, Zhiqiu Huang
SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems. Connect. Sci. 34 (1) (2022)