| 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 |
Hai LinElectrical Engineering, University of Notre DameVerified email at nd.edu
