Bo Wu
Orcid: 0000-0002-7199-6525Affiliations:
- University of Texas at Austin, Institute for Computational Engineering and Sciences, TX, USA
- University of Notre Dame, IN, USA (PhD 2018)
According to our database1,
Bo Wu
authored at least 56 papers
between 2014 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on www3.nd.edu
-
on orcid.org
On csauthors.net:
Bibliography
2023
IEEE Trans. Autom. Control., 2023
Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications.
IEEE Access, 2023
2022
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology.
IEEE Trans. Autom. Control., 2022
IEEE Trans. Autom. Control., 2022
2021
IEEE Trans. Inf. Forensics Secur., 2021
IEEE Trans. Autom. Control., 2021
Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications.
CoRR, 2021
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples.
Proceedings of the Machine Learning and Knowledge Extraction, 2021
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications.
IEEE Trans. Control. Netw. Syst., 2020
Constrained Active Classification Using Partially Observable Markov Decision Processes.
CoRR, 2020
Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach.
CoRR, 2020
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples.
CoRR, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 2020 American Control Conference, 2020
Proceedings of the 2020 American Control Conference, 2020
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020
2019
IEEE Trans. Autom. Control., 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 2019 American Control Conference, 2019
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes.
Proceedings of the 2019 American Control Conference, 2019
Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach.
Proceedings of the 57th Annual Allerton Conference on Communication, 2019
2018
Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol.
IEEE Trans. Control. Syst. Technol., 2018
IEEE Control. Syst. Lett., 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the 2018 Annual American Control Conference, 2018
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems.
Proceedings of the 2018 Annual American Control Conference, 2018
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems.
Proceedings of the 2018 Annual American Control Conference, 2018
Proceedings of the 2018 Annual American Control Conference, 2018
2017
A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints.
CoRR, 2017
Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 2017 American Control Conference, 2017
Communication-aware motion planning for multi-agent systems from signal temporal logic specifications.
Proceedings of the 2017 American Control Conference, 2017
2016
CoRR, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning.
Proceedings of the 2016 American Control Conference, 2016
Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016
2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning.
Proceedings of the American Control Conference, 2015
Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
Stability analysis for wireless networked control system in unslotted IEEE 802.15.4 protocol.
Proceedings of the 11th IEEE International Conference on Control & Automation, 2014