Stability analysis for wireless networked control system in unslotted IEEE 802.15.4 protocol. - Bo Wu 005; Hai Lin 002; Michael D. Lemmon (ICCA, 2014)

Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints. - Bo Wu 005; Jin Dai; Hai Lin 002 (ADHS, 2015)

Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning. - Bo Wu 005; Hai Lin 002 (ACC, 2015)

Learning based supervisor synthesis of POMDP for PCTL specifications. - Xiaobin Zhang; Bo Wu 005; Hai Lin 002 (CDC, 2015)

Extended Abstract: Formal Design of Cooperative Multi-Agent Systems. - Rafael Rodrigues da Silva; Bo Wu 005; Jin Dai; Hai Lin 002 (AAAI Fall Symposia, 2016)

Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning. - Bo Wu 005; Hai Lin 002 (ACC, 2016)

Formal design of robot Integrated Task and Motion Planning. - Rafael Rodrigues da Silva; Bo Wu 005; Hai Lin 002 (CDC, 2016)

Assume-guarantee reasoning framework for MDP-POMDP. - Xiaobin Zhang; Bo Wu 005; Hai Lin 002 (CDC, 2016)

Combined top-down and bottom-up design of cooperative multi-robot systems. - Rafael Rodrigues da Silva; Bo Wu 005; Jin Dai; Hai Lin 002 (CoRR, 2016)

Communication-aware motion planning for multi-agent systems from signal temporal logic specifications. - Zhiyu Liu; Jin Dai; Bo Wu 005; Hai Lin 002 (ACC, 2017)

Toward efficient manufacturing systems: A trust based human robot collaboration. - Bo Wu 005; Bin Hu; Hai Lin 002 (ACC, 2017)

Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications. - Zhiyu Liu; Bo Wu 005; Jin Dai; Hai Lin 002 (CDC, 2017)

A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints. - Bo Wu 005; Bin Hu; Hai Lin 002 (CoRR, 2017)

Counterexample-Guided Abstraction Refinement for POMDPs. - Xiaobin Zhang; Bo Wu 005; Hai Lin 002 (CoRR, 2017)

Supervisor Synthesis of POMDP based on Automata Learning. - Xiaobin Zhang; Bo Wu 005; Hai Lin 002 (CoRR, 2017)

A Mean Field Game Approach to Swarming Robots Control. - Zhiyu Liu; Bo Wu 005; Hai Lin 002 (ACC, 2018)

Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. - Bo Wu 005; Jin Dai; Hai Lin 002 (ACC, 2018)

Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. - Bo Wu 005; Zhiyu Liu; Hai Lin 002 (ACC, 2018)

Solving Complex Tasks Hierarchically from Demonstrations. - Wei Zheng 012; Bo Wu 005; Hai Lin 002 (ACC, 2018)

Privacy Verification in POMDPs via Barrier Certificates. - Mohamadreza Ahmadi; Bo Wu 005; Hai Lin 002; Ufuk Topcu (CDC, 2018)

Coordinated Robot-Assisted Human Crowd Evacuation. - Zhiyu Liu; Bo Wu 005; Hai Lin 002 (CDC, 2018)

POMDP Model Learning for Human Robot Collaboration. - Wei Zheng 012; Bo Wu 005; Hai Lin 002 (CDC, 2018)

Privacy Preserving Controller Synthesis via Belief Abstraction. - Bo Wu 005; Hai Lin 002 (CoRR, 2018)

Privacy Verification and Enforcement via Belief Abstraction. - Bo Wu 005; Hai Lin 002 (IEEE Control. Syst. Lett., 2018)

Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol. - Bo Wu 005; Michael D. Lemmon; Hai Lin 002 (IEEE Trans. Control. Syst. Technol., 2018)

Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach. - Zhe Xu 005; Federico M. Zegers; Bo Wu 005; Warren E. Dixon; Ufuk Topcu (Allerton, 2019)

Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. - Bo Wu 005; Mohamadreza Ahmadi; Suda Bharadwaj; Ufuk Topcu (ACC, 2019)

Barrier Certificates for Assured Machine Teaching. - Mohamadreza Ahmadi; Bo Wu 005; Yuxin Chen 001; Yisong Yue; Ufuk Topcu (ACC, 2019)

Reward-Based Deception with Cognitive Bias. - Bo Wu 005; Murat Cubuktepe; Suda Bharadwaj; Ufuk Topcu (CDC, 2019)

Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis. - Bo Wu 005; Murat Cubuktepe; Ufuk Topcu (CDC, 2019)

Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization. - Suda Bharadwaj; Louis Ly; Bo Wu 005; Richard Tsai 001; Ufuk Topcu (CDC, 2019)

Unpredictable Planning Under Partial Observability. - Michael Hibbard; Yagiz Savas; Bo Wu 005; Takashi Tanaka; Ufuk Topcu (CDC, 2019)

Permissive Supervisor Synthesis for Markov Decision Processes Through Learning. - Bo Wu 005; Xiaobin Zhang; Hai Lin 002 (IEEE Trans. Autom. Control., 2019)

Joint Inference of Reward Machines and Policies for Reinforcement Learning. - Zhe Xu 005; Ivan Gavran; Yousef Ahmad; Rupak Majumdar; Daniel Neider; Ufuk Topcu; Bo Wu 005 (ICAPS, 2020)

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. - Bo Wu 005; Steven Carr 002; Suda Bharadwaj; Zhe Xu 005; Ufuk Topcu (ACC, 2020)

The Dirichlet Mechanism for Differential Privacy on the Unit Simplex. - Parham Gohari; Bo Wu 005; Matthew T. Hale; Ufuk Topcu (ACC, 2020)

Active Task-Inference-Guided Deep Inverse Reinforcement Learning. - Farzan Memarian; Zhe Xu 005; Bo Wu 005; Min Wen; Ufuk Topcu (CDC, 2020)

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. - Zhe Xu 005; Bo Wu 005; Daniel Neider; Ufuk Topcu (CoRR, 2020)

Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks. - Yuqian Jiang; Sudarshanan Bharadwaj; Bo Wu 005; Rishi Shah; Ufuk Topcu; Peter Stone 001 (CoRR, 2020)

Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach. - Zhe Xu 005; Bo Wu 005; Ufuk Topcu (CoRR, 2020)

Constrained Active Classification Using Partially Observable Markov Decision Processes. - Bo Wu 005; Mohamadreza Ahmadi; Suda Bharadwaj; Ufuk Topcu (CoRR, 2020)

Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications. - Zhiyu Liu; Bo Wu 005; Jin Dai; Hai Lin 002 (IEEE Trans. Control. Netw. Syst., 2020)

Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks. - Yuqian Jiang; Suda Bharadwaj; Bo Wu 005; Rishi Shah; Ufuk Topcu; Peter Stone 001 (AAAI, 2021)

Advice-Guided Reinforcement Learning in a non-Markovian Environment. - Daniel Neider; Jean-Raphaël Gaglione; Ivan Gavran; Ufuk Topcu; Bo Wu 005; Zhe Xu 005 (AAAI, 2021)

Reward Machines for Cooperative Multi-Agent Reinforcement Learning. - Cyrus Neary; Zhe Xu 005; Bo Wu 005; Ufuk Topcu (AAMAS, 2021)

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. - Zhe Xu 005; Bo Wu 005; Aditya Ojha; Daniel Neider; Ufuk Topcu (CD-MAKE, 2021)

Decentralized Classification with Assume-Guarantee Planning. - Steven Carr 002; Jesse Quattrociocchi; Suda Bharadwaj; Steven J. Spencer; Anup Parikh; Carol C. Young; Stephen P. Buerger; Bo Wu 005; Ufuk Topcu (IROS, 2021)

Supervisor synthesis of POMDP via automata learning. - Bo Wu 005; Xiaobin Zhang; Hai Lin 002 (Autom., 2021)

Privacy-Preserving Teacher-Student Deep Reinforcement Learning. - Parham Gohari; Bo Chen; Bo Wu 005; Matthew T. Hale; Ufuk Topcu (CoRR, 2021)

Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications. - Zhe Xu 005; Federico M. Zegers; Bo Wu 005; Alexander J. Phillips; Warren E. Dixon; Ufuk Topcu (CoRR, 2021)

Control Theory Meets POMDPs: A Hybrid Systems Approach. - Mohamadreza Ahmadi; Nils Jansen 001; Bo Wu 005; Ufuk Topcu (IEEE Trans. Autom. Control., 2021)

Differential Privacy on the Unit Simplex via the Dirichlet Mechanism. - Parham Gohari; Bo Wu 005; Calvin Hawkins; Matthew T. Hale; Ufuk Topcu (IEEE Trans. Inf. Forensics Secur., 2021)

Entropy Maximization for Partially Observable Markov Decision Processes. - Yagiz Savas; Michael Hibbard; Bo Wu 005; Takashi Tanaka; Ufuk Topcu (IEEE Trans. Autom. Control., 2022)

Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. - Bo Wu 005; Steven Carr 002; Suda Bharadwaj; Zhe Xu 005; Ufuk Topcu (IEEE Trans. Autom. Control., 2022)

Controller Synthesis for Multi-Agent Systems With Intermittent Communication and Metric Temporal Logic Specifications. - Zhe Xu 005; Federico M. Zegers; Nasim Baharisangari; Bo Wu 005; Alexander J. Phillips; Warren E. Dixon; Ufuk Topcu (IEEE Access, 2023)

Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching. - Bo Wu 005; Murat Cubuktepe; Franck Djeumou; Zhe Xu 005; Ufuk Topcu (IEEE Trans. Autom. Control., 2023)