| Distributed communication-aware motion planning for multi-agent systems from stl and spatel specifications Z Liu, B Wu, J Dai, H Lin 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 4452-4457, 2017 | 32 | 2017 |
| Communication-aware motion planning for multi-agent systems from signal temporal logic specifications Z Liu, J Dai, B Wu, H Lin 2017 American Control Conference (ACC), 2516-2521, 2017 | 31 | 2017 |
| Formal methods for stability analysis of networked control systems with IEEE 802.15. 4 protocol B Wu, MD Lemmon, H Lin IEEE Transactions on Control Systems Technology 26 (5), 1635-1645, 2018 | 29 | 2018 |
| Privacy verification and enforcement via belief abstraction B Wu, H Lin IEEE control systems letters 2 (4), 815-820, 2018 | 25 | 2018 |
| Synthesis of insertion functions to enforce decentralized and joint opacity properties of discrete-event systems B Wu, J Dai, H Lin 2018 Annual American Control Conference (ACC), 3026-3031, 2018 | 14 | 2018 |
| 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 | 14 | 2015 |
| Controller Synthesis For Multi-Agent Systems with Intermittent Communication: A Metric Temporal Logic Approach Z Xu, Z Federico, B Wu, W Dixon, U Topcu https://arxiv.org/abs/1909.09939, 2019 | 13 | 2019 |
| Privacy Verification in POMDPs via Barrier Certificates M Ahmadi, B Wu, H Lin, U Topcu 2018 IEEE Conference on Decision and Control (CDC), 5610 - 5615, 2018 | 13 | 2018 |
| Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning B Wu, H Lin 2015 American Control Conference (ACC), 2894-2899, 2015 | 12 | 2015 |
| Joint Inference of Reward Machines and Policies for Reinforcement Learning Z Xu, I Gavran, Y Ahmad, R Majumdar, D Neider, U Topcu, B Wu Proceedings of the Thirtieth International Conference on Automated Planning …, 2020 | 11 | 2020 |
| Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints B Wu, J Dai, H Lin IFAC-PapersOnLine 48 (27), 224-229, 2015 | 11 | 2015 |
| Formal design of robot integrated task and motion planning RR da Silva, B Wu, H Lin 2016 IEEE 55th Conference on Decision and Control (CDC), 6589-6594, 2016 | 10 | 2016 |
| A mean field game approach to swarming robots control Z Liu, B Wu, H Lin 2018 Annual American Control Conference (ACC), 4293-4298, 2018 | 9 | 2018 |
| Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning B Wu, H Lin 2016 American Control Conference (ACC), 5519-5524, 2016 | 9 | 2016 |
| Permissive supervisor synthesis for Markov decision processes through learning B Wu, X Zhang, H Lin IEEE Transactions on Automatic Control 64 (8), 3332 - 3338, 2019 | 7 | 2019 |
| Parameter and insertion function co-synthesis for opacity enhancement in parametric stochastic discrete event systems B Wu, Z Liu, H Lin 2018 Annual American Control Conference (ACC), 3032-3037, 2018 | 7 | 2018 |
| Counterexample-guided abstraction refinement for POMDPs X Zhang, B Wu, H Lin arXiv preprint arXiv:1701.06209, 2017 | 7 | 2017 |
| Toward efficient manufacturing systems: A trust based human robot collaboration B Wu, B Hu, H Lin 2017 American Control Conference (ACC), 2017 | 7 | 2017 |
| Stability analysis for wireless networked control system in unslotted IEEE 802.15. 4 protocol B Wu, H Lin, M Lemmon 11th IEEE International Conference on Control & Automation (ICCA), 1084-1089, 2014 | 7 | 2014 |
| Supervisor synthesis of pomdp based on automata learning B Wu, X Zhang, H Lin Automatica, 2021 | 6* | 2021 |
Hai LinElectrical Engineering, University of Notre DameVerified email at nd.edu
