Biblio
Filters: Author is Wu, Bo [Clear All Filters]
.
2015. Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints. IFAC-PapersOnLine. 48:224–229.
.
2015. Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning. American Control Conference (ACC), 2015. :2894–2899.
.
2015. Learning based supervisor synthesis of pomdp for pctl specifications. Decision and Control (CDC), 2015 IEEE 54th Annual Conference on. :7470–7475.
.
2016. Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning. American Control Conference (ACC), 2016. :5519–5524.
.
2016. Assume-guarantee reasoning framework for MDP-POMDP. Decision and Control (CDC), 2016 IEEE 55th Conference on. :795–800.
.
2016. Formal design of robot integrated task and motion planning. Decision and Control (CDC), 2016 IEEE 55th Conference on. :6589–6594.
.
2017. Permissive Supervisor Synthesis for Markov Decision Processes through Learning. arXiv preprint arXiv:1703.07351.
.
2017. Supervisor Synthesis of POMDP based on Automata Learning. arXiv preprint arXiv:1703.08262.
.
2017. Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications. arXiv preprint arXiv:1705.10259.
.
2017. Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications. arXiv preprint arXiv:1705.11085.
.
2017. Toward efficient manufacturing systems: A trust based human robot collaboration. American Control Conference (ACC), 2017. :1536–1541.
.
2017. A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints. arXiv preprint arXiv:1706.00007.
.
2017. Formal methods for stability analysis of networked control systems with ieee 802.15. 4 protocol. IEEE Transactions on Control Systems Technology.