Bo Wu

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 72

Top Topics

Markov Decision Process

Metric Temporal Logic

Reinforcement Learning

Partially Observable Markov Decision Process

Top Venues

IEEE Trans. Autom. Control.

Publications

Zhe Xu, Federico M. Zegers, Nasim Baharisangari, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu
Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications. IEEE Access 11 (2023)
Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu
Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching. IEEE Trans. Autom. Control. 68 (1) (2023)
Yagiz Savas, Michael Hibbard, Bo Wu, Takashi Tanaka, Ufuk Topcu
Entropy Maximization for Partially Observable Markov Decision Processes. IEEE Trans. Autom. Control. 67 (12) (2022)
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. IEEE Trans. Autom. Control. 67 (7) (2022)
Parham Gohari, Bo Chen, Bo Wu, Matthew T. Hale, Ufuk Topcu
Privacy-Preserving Teacher-Student Deep Reinforcement Learning. CoRR (2021)
Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu, Ufuk Topcu
Decentralized Classification with Assume-Guarantee Planning. IROS (2021)
Parham Gohari, Bo Wu, Calvin Hawkins, Matthew T. Hale, Ufuk Topcu
Differential Privacy on the Unit Simplex via the Dirichlet Mechanism. IEEE Trans. Inf. Forensics Secur. 16 (2021)
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu
Control Theory Meets POMDPs: A Hybrid Systems Approach. IEEE Trans. Autom. Control. 66 (11) (2021)
Zhe Xu, Federico M. Zegers, Bo Wu, Alexander J. Phillips, Warren E. Dixon, Ufuk Topcu
Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications. CoRR (2021)
Zhe Xu, Bo Wu, Aditya Ojha, Daniel Neider, Ufuk Topcu
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CD-MAKE (2021)
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. AAMAS (2021)
Daniel Neider, Jean-Raphaël Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu
Advice-Guided Reinforcement Learning in a non-Markovian Environment. AAAI (2021)
Yuqian Jiang, Suda Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, Peter Stone
Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks. AAAI (2021)
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
Constrained Active Classification Using Partially Observable Markov Decision Processes. CoRR (2020)
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. ACC (2020)
Yuqian Jiang, Sudarshanan Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, Peter Stone
Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks. CoRR (2020)
Parham Gohari, Bo Wu, Matthew T. Hale, Ufuk Topcu
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex. ACC (2020)
Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu
Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CDC (2020)
Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. CoRR (2020)
Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin
Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications. IEEE Trans. Control. Netw. Syst. 7 (4) (2020)
Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu
Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CoRR (2020)
Zhe Xu, Bo Wu, Ufuk Topcu
Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach. CoRR (2020)
Zhe Xu, Bo Wu, Daniel Neider, Ufuk Topcu
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CoRR (2020)
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. CoRR (2020)
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
Joint Inference of Reward Machines and Policies for Reinforcement Learning. ICAPS (2020)
Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu
Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching. CoRR (2020)
Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu
Barrier Certificates for Assured Machine Teaching. ACC (2019)
Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu
Reward-Based Deception with Cognitive Bias. CDC (2019)
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. ACC (2019)
Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon, Ufuk Topcu
Controller Synthesis for Multi-Agent Systems With Intermittent Communication: A Metric Temporal Logic Approach. CoRR (2019)
Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization. CDC (2019)
Parham Gohari, Bo Wu, Matthew T. Hale, Ufuk Topcu
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex. CoRR (2019)
Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu
Control Theory Meets POMDPs: A Hybrid Systems Approach. CoRR (2019)
Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization. CoRR (2019)
Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu
Reward-Based Deception with Cognitive Bias. CoRR (2019)
Bo Wu, Xiaobin Zhang, Hai Lin
Permissive Supervisor Synthesis for Markov Decision Processes Through Learning. IEEE Trans. Autom. Control. 64 (8) (2019)
Michael Hibbard, Yagiz Savas, Bo Wu, Takashi Tanaka, Ufuk Topcu
Unpredictable Planning Under Partial Observability. CDC (2019)
Zhe Xu, Ivan Gavran, Yousef Ahmad, Rupak Majumdar, Daniel Neider, Ufuk Topcu, Bo Wu
Joint Inference of Reward Machines and Policies for Reinforcement Learning. CoRR (2019)
Zhe Xu, Federico M. Zegers, Bo Wu, Warren E. Dixon, Ufuk Topcu
Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach. Allerton (2019)
Bo Wu, Murat Cubuktepe, Ufuk Topcu
Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis. CDC (2019)
Wei Zheng, Bo Wu, Hai Lin
POMDP Model Learning for Human Robot Collaboration. CDC (2018)
Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu
Privacy Verification in POMDPs via Barrier Certificates. CDC (2018)
Zhiyu Liu, Bo Wu, Hai Lin
A Mean Field Game Approach to Swarming Robots Control. ACC (2018)
Wei Zheng, Bo Wu, Hai Lin
POMDP Model Learning for Human Robot Collaboration. CoRR (2018)
Bo Wu, Zhiyu Liu, Hai Lin
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. ACC (2018)
Bo Wu, Michael D. Lemmon, Hai Lin
Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol. IEEE Trans. Control. Syst. Technol. 26 (5) (2018)
Wei Zheng, Bo Wu, Hai Lin
Solving Complex Tasks Hierarchically from Demonstrations. ACC (2018)
Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin
Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications. CoRR (2018)
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. CoRR (2018)
Bo Wu, Zhiyu Liu, Hai Lin
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. CoRR (2018)
Bo Wu, Hai Lin
Privacy Verification and Enforcement via Belief Abstraction. IEEE Control. Syst. Lett. 2 (4) (2018)
Bo Wu, Hai Lin
Privacy Preserving Controller Synthesis via Belief Abstraction. CoRR (2018)
Bo Wu, Jin Dai, Hai Lin
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. ACC (2018)
Bo Wu, Jin Dai, Hai Lin
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. CoRR (2018)
Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu
Barrier Certificates for Assured Machine Teaching. CoRR (2018)
Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu
Privacy Verification in POMDPs via Barrier Certificates. CoRR (2018)
Zhiyu Liu, Bo Wu, Hai Lin
Coordinated Robot-Assisted Human Crowd Evacuation. CDC (2018)
Bo Wu, Bin Hu, Hai Lin
Toward efficient manufacturing systems: A trust based human robot collaboration. ACC (2017)
Xiaobin Zhang, Bo Wu, Hai Lin
Counterexample-Guided Abstraction Refinement for POMDPs. CoRR (2017)
Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin
Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications. CDC (2017)
Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin
Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications. CoRR (2017)
Bo Wu, Xiaobin Zhang, Hai Lin
Permissive Supervisor Synthesis for Markov Decision Processes through Learning. CoRR (2017)
Zhiyu Liu, Jin Dai, Bo Wu, Hai Lin
Communication-aware motion planning for multi-agent systems from signal temporal logic specifications. ACC (2017)
Zhiyu Liu, Jin Dai, Bo Wu, Hai Lin
Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications. CoRR (2017)
Xiaobin Zhang, Bo Wu, Hai Lin
Supervisor Synthesis of POMDP based on Automata Learning. CoRR (2017)
Bo Wu, Bin Hu, Hai Lin
A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints. CoRR (2017)
Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin
Extended Abstract: Formal Design of Cooperative Multi-Agent Systems. AAAI Fall Symposia (2016)
Rafael Rodrigues da Silva, Bo Wu, Hai Lin
Formal design of robot Integrated Task and Motion Planning. CDC (2016)
Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin
Combined top-down and bottom-up design of cooperative multi-robot systems. CoRR (2016)
Rafael Rodrigues da Silva, Bo Wu, Hai Lin
Formal Design of Robot Integrated Task and Motion Planning. CoRR (2016)
Bo Wu, Hai Lin
Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning. ACC (2016)
Xiaobin Zhang, Bo Wu, Hai Lin
Assume-guarantee reasoning framework for MDP-POMDP. CDC (2016)
Bo Wu, Jin Dai, Hai Lin
Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints. ADHS (2015)
Bo Wu, Hai Lin
Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning. ACC (2015)
Xiaobin Zhang, Bo Wu, Hai Lin
Learning based supervisor synthesis of POMDP for PCTL specifications. CDC (2015)
Bo Wu, Hai Lin, Michael D. Lemmon
Stability analysis for wireless networked control system in unslotted IEEE 802.15.4 protocol. ICCA (2014)
Bo Wu, Hai Lin, Michael D. Lemmon
Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol. CDC (2014)