Learning based supervisor synthesis of pomdp for pctl specifications X Zhang, B Wu, H Lin 2015 54th IEEE Conference on Decision and Control (CDC), 7470-7475, 2015 | 18 | 2015 |
Permissive supervisor synthesis for Markov decision processes through learning B Wu, X Zhang, H Lin IEEE Transactions on Automatic Control 64 (8), 3332-3338, 2018 | 16 | 2018 |
Path planning with obstacle avoidance in PEGs: Ant colony optimization method R Du, X Zhang, C Chen, X Guan 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l …, 2010 | 12 | 2010 |
Performance guaranteed human-robot collaboration with POMDP supervisory control X Zhang, H Lin Robotics and Computer-Integrated Manufacturing 57, 59-72, 2019 | 10 | 2019 |
Supervisor synthesis of pomdp based on automata learning X Zhang, B Wu, H Lin arXiv preprint arXiv:1703.08262, 2017 | 10 | 2017 |
Counterexample-guided abstraction refinement for POMDPs X Zhang, B Wu, H Lin arXiv preprint arXiv:1701.06209, 2017 | 9 | 2017 |
Assume-guarantee reasoning framework for MDP-POMDP X Zhang, B Wu, H Lin 2016 IEEE 55th Conference on Decision and Control (CDC), 795-800, 2016 | 8 | 2016 |
Performance guaranteed human-robot collaboration through correct-by-design X Zhang, Y Zhu, H Lin 2016 American Control Conference (ACC), 6183-6188, 2016 | 7 | 2016 |
Supervisor synthesis of POMDP via automata learning B Wu, X Zhang, H Lin Automatica 129, 109654, 2021 | 5 | 2021 |
Path Planning and Obstacle Avoidance for PEGs in WSAN: I-ACO Based Algorithms and Implementation. R Du, C Chen, X Zhang, X Guan, B Cheng Adhoc & Sensor Wireless Networks 16 (4), 2012 | 3 | 2012 |
Correct-by-Design Human-Robot Collaboration through Supervisory Control of POMDP X Zhang University of Notre Dame, 2017 | | 2017 |
Stochastic hybrid systems modeling and performance verification of behavior-based robots X Zhang, H Lin 2015 American Control Conference (ACC), 781-786, 2015 | | 2015 |