Bo Wu

Orcid: 0000-0002-7199-6525

Affiliations:
  • 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:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching.
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

Entropy Maximization for Partially Observable Markov Decision Processes.
IEEE Trans. Autom. Control., 2022

2021
Differential Privacy on the Unit Simplex via the Dirichlet Mechanism.
IEEE Trans. Inf. Forensics Secur., 2021

Control Theory Meets POMDPs: A Hybrid Systems Approach.
IEEE Trans. Autom. Control., 2021

Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications.
CoRR, 2021

Privacy-Preserving Teacher-Student Deep Reinforcement Learning.
CoRR, 2021

Supervisor synthesis of POMDP via automata learning.
Autom., 2021

Decentralized Classification with Assume-Guarantee Planning.
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

Reward Machines for Cooperative Multi-Agent Reinforcement Learning.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Advice-Guided Reinforcement Learning in a non-Markovian Environment.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks.
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

Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks.
CoRR, 2020

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples.
CoRR, 2020

Active Task-Inference-Guided Deep Inverse Reinforcement Learning.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

The Dirichlet Mechanism for Differential Privacy on the Unit Simplex.
Proceedings of the 2020 American Control Conference, 2020

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology.
Proceedings of the 2020 American Control Conference, 2020

Joint Inference of Reward Machines and Policies for Reinforcement Learning.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019
Permissive Supervisor Synthesis for Markov Decision Processes Through Learning.
IEEE Trans. Autom. Control., 2019

Unpredictable Planning Under Partial Observability.
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

Reward-Based Deception with Cognitive Bias.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Barrier Certificates for Assured Machine Teaching.
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

Privacy Verification and Enforcement via Belief Abstraction.
IEEE Control. Syst. Lett., 2018

Privacy Preserving Controller Synthesis via Belief Abstraction.
CoRR, 2018

POMDP Model Learning for Human Robot Collaboration.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Coordinated Robot-Assisted Human Crowd Evacuation.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Privacy Verification in POMDPs via Barrier Certificates.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Solving Complex Tasks Hierarchically from Demonstrations.
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

A Mean Field Game Approach to Swarming Robots Control.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Supervisor Synthesis of POMDP based on Automata Learning.
CoRR, 2017

Counterexample-Guided Abstraction Refinement for POMDPs.
CoRR, 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

Toward efficient manufacturing systems: A trust based human robot collaboration.
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
Combined top-down and bottom-up design of cooperative multi-robot systems.
CoRR, 2016

Assume-guarantee reasoning framework for MDP-POMDP.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Formal design of robot Integrated Task and Motion Planning.
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

Extended Abstract: Formal Design of Cooperative Multi-Agent Systems.
Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016

2015
Learning based supervisor synthesis of POMDP for PCTL specifications.
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


  Loading...