Bo Wu
Title
Cited by
Cited by
Year
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
322017
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
312017
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
292018
Privacy verification and enforcement via belief abstraction
B Wu, H Lin
IEEE control systems letters 2 (4), 815-820, 2018
252018
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
142018
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
142015
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
132019
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
132018
Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning
B Wu, H Lin
2015 American Control Conference (ACC), 2894-2899, 2015
122015
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
112020
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
112015
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
102016
A mean field game approach to swarming robots control
Z Liu, B Wu, H Lin
2018 Annual American Control Conference (ACC), 4293-4298, 2018
92018
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
92016
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
72019
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
72018
Counterexample-guided abstraction refinement for POMDPs
X Zhang, B Wu, H Lin
arXiv preprint arXiv:1701.06209, 2017
72017
Toward efficient manufacturing systems: A trust based human robot collaboration
B Wu, B Hu, H Lin
2017 American Control Conference (ACC), 2017
72017
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
72014
Supervisor synthesis of pomdp based on automata learning
B Wu, X Zhang, H Lin
Automatica, 2021
6*2021
The system can't perform the operation now. Try again later.
Articles 1–20