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
352017
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
342017
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
312018
Privacy verification and enforcement via belief abstraction
B Wu, H Lin
IEEE control systems letters 2 (4), 815-820, 2018
252018
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
202019
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
162018
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
152015
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
142020
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
Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning
B Wu, H Lin
2015 American Control Conference (ACC), 2894-2899, 2015
122015
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
A mean field game approach to swarming robots control
Z Liu, B Wu, H Lin
2018 Annual American Control Conference (ACC), 4293-4298, 2018
102018
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
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
92019
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
Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications
Z Liu, B Wu, J Dai, H Lin
IEEE Transactions on Control of Network Systems, 2020
82020
POMDP Model Learning for Human Robot Collaboration
W Zheng, B Wu, H Lin
2018 IEEE Conference on Decision and Control (CDC), 1156 - 1161, 2018
82018
Active task-inference-guided deep inverse reinforcement learning
F Memarian, Z Xu, B Wu, M Wen, U Topcu
2020 59th IEEE Conference on Decision and Control (CDC), 1932-1938, 2020
72020
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
The system can't perform the operation now. Try again later.
Articles 1–20