Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBo Wu 0005
Person information
- affiliation: University of Texas at Austin, Institute for Computational Engineering and Sciences, TX, USA
- affiliation (PhD 2018): University of Notre Dame, IN, USA
Other persons with the same name
- Bo Wu — disambiguation page
- Bo Wu 0001 — Google (and 2 more)
- Bo Wu 0002
![[0009-0001-1696-4272]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0009-0001-1696-4272")
— Colorado School of Mines, Golden, CA, USA - Bo Wu 0003 — Nanjing University of Finance and Economics, Nanjing, China
- Bo Wu 0004 — Hong Kong Polytechnic University, Department of Land Surveying and Geo-Informatics, Hong Kong
- Bo Wu 0006 — Huazhong University of Science and Technology, Wuhan, China
- Bo Wu 0007 — Tokyo University of Technology, School of Computer Science, Hachioji, Japan (and 1 more)
- Bo Wu 0008 — Yelp, San Francisco, CA, USA (and 1 more)
- Bo Wu 0009 — University of Texas at Dallas, Texas Analog Center of Excellence, Richardson, TX, USA (and 1 more)
- Bo Wu 0010 — Amazon, Greenville, SC, USA (and 1 more)
- Bo Wu 0011 — Xidian University, National Laboratory of Radar Signal Processing, Xi'an, China (and 1 more)
- Bo Wu 0012 — Peking University, Beijing, China
- Bo Wu 0013 — University of Electronic Science and Technology of China, Chengdu, China
- Bo Wu 0014 — Harbin University of Science and Technology, China
- Bo Wu 0015 — Zhejiang Normal University, Jinhua, China
- Bo Wu 0016 — Capital Medical University, Beijing, China (and 1 more)
- Bo Wu 0017 — Hebei Iron & Steel Group Co. Ltd, China
- Bo Wu 0018 — MIT-IBM Watson AI Lab, Cambridge, MA, USA (and 2 more)
- Bo Wu 0019 — Jiangxi Normal University, Nanchang, China (and 2 more)
- Bo Wu 0020 — National University of Defense Technology, Changsha, China
- Bo Wu 0021 — Beihang University, State Key Lab of Software Development Environment, Beijing, China
- Bo Wu 0022 — China Medical University, First Hospital, Department of Anal and Rectal Diseases, Shenyang, China
- Bo Wu 0023 — Southeast University, National Mobile Communications Research Laboratory, Nanjing, China
- Bo Wu 0024 — Jinan University, Big Data Decision Institute, Guangzhou, China (and 1 more)
- Bo Wu 0025 — University of Grenoble, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2023
[j11]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: 91324-91335 (2023)- [j10]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): 532-539 (2023) - 2022
- [j9]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): 3243-3258 (2022) - [j8]Yagiz Savas, Michael Hibbard, Bo Wu, Takashi Tanaka, Ufuk Topcu:
Entropy Maximization for Partially Observable Markov Decision Processes. IEEE Trans. Autom. Control. 67(12): 6948-6955 (2022) - 2021
- [j7]Bo Wu, Xiaobin Zhang, Hai Lin:
Supervisor synthesis of POMDP via automata learning. Autom. 129: 109654 (2021) - [j6]Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu:
Control Theory Meets POMDPs: A Hybrid Systems Approach. IEEE Trans. Autom. Control. 66(11): 5191-5204 (2021) - [j5]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: 2326-2340 (2021) - 2020
- [j4]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): 1801-1811 (2020) - 2019
- [j3]Bo Wu, Xiaobin Zhang, Hai Lin:
Permissive Supervisor Synthesis for Markov Decision Processes Through Learning. IEEE Trans. Autom. Control. 64(8): 3332-3338 (2019) - 2018
- [j2]Bo Wu, Hai Lin:
Privacy Verification and Enforcement via Belief Abstraction. IEEE Control. Syst. Lett. 2(4): 815-820 (2018) - [j1]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): 1635-1645 (2018)
Conference and Workshop Papers
- 2021
- [c35]Yuqian Jiang, Suda Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, Peter Stone:
Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks. AAAI 2021: 7995-8003 - [c34]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: 9073-9080 - [c33]Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu:
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. AAMAS 2021: 934-942 - [c32]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: 115-135 - [c31]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: 9826-9832 - 2020
- [c30]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: 590-598 - [c29]Parham Gohari, Bo Wu, Matthew T. Hale, Ufuk Topcu:
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex. ACC 2020: 1253-1258 - [c28]Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu:
Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. ACC 2020: 1483-1488 - [c27]Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu:
Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CDC 2020: 1932-1938 - 2019
- [c26]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: 1015-1022 - [c25]Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu:
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. ACC 2019: 1216-1223 - [c24]Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu:
Barrier Certificates for Assured Machine Teaching. ACC 2019: 3658-3663 - [c23]Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu:
Reward-Based Deception with Cognitive Bias. CDC 2019: 2265-2270 - [c22]Michael Hibbard, Yagiz Savas, Bo Wu, Takashi Tanaka, Ufuk Topcu:
Unpredictable Planning Under Partial Observability. CDC 2019: 2271-2277 - [c21]Bo Wu, Murat Cubuktepe, Ufuk Topcu:
Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis. CDC 2019: 2509-2516 - [c20]Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu:
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization. CDC 2019: 6275-6281 - 2018
- [c19]Wei Zheng, Bo Wu, Hai Lin:
Solving Complex Tasks Hierarchically from Demonstrations. ACC 2018: 1178-1183 - [c18]Bo Wu, Jin Dai, Hai Lin:
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. ACC 2018: 3026-3031 - [c17]Bo Wu, Zhiyu Liu, Hai Lin:
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. ACC 2018: 3032-3037 - [c16]Zhiyu Liu, Bo Wu, Hai Lin:
A Mean Field Game Approach to Swarming Robots Control. ACC 2018: 4293-4298 - [c15]Wei Zheng, Bo Wu, Hai Lin:
POMDP Model Learning for Human Robot Collaboration. CDC 2018: 1156-1161 - [c14]Zhiyu Liu, Bo Wu, Hai Lin:
Coordinated Robot-Assisted Human Crowd Evacuation. CDC 2018: 4481-4486 - [c13]Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu:
Privacy Verification in POMDPs via Barrier Certificates. CDC 2018: 5610-5615 - 2017
- [c12]Bo Wu, Bin Hu, Hai Lin:
Toward efficient manufacturing systems: A trust based human robot collaboration. ACC 2017: 1536-1541 - [c11]Zhiyu Liu, Jin Dai, Bo Wu, Hai Lin:
Communication-aware motion planning for multi-agent systems from signal temporal logic specifications. ACC 2017: 2516-2521 - [c10]Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin:
Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications. CDC 2017: 4452-4457 - 2016
- [c9]Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin:
Extended Abstract: Formal Design of Cooperative Multi-Agent Systems. AAAI Fall Symposia 2016 - [c8]Bo Wu, Hai Lin:
Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning. ACC 2016: 5519-5524 - [c7]Xiaobin Zhang, Bo Wu, Hai Lin:
Assume-guarantee reasoning framework for MDP-POMDP. CDC 2016: 795-800 - [c6]Rafael Rodrigues da Silva, Bo Wu, Hai Lin:
Formal design of robot Integrated Task and Motion Planning. CDC 2016: 6589-6594 - 2015
- [c5]Bo Wu, Jin Dai, Hai Lin:
Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints. ADHS 2015: 224-229 - [c4]Bo Wu, Hai Lin:
Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning. ACC 2015: 2894-2899 - [c3]Xiaobin Zhang, Bo Wu, Hai Lin:
Learning based supervisor synthesis of POMDP for PCTL specifications. CDC 2015: 7470-7475 - 2014
- [c2]Bo Wu, Hai Lin, Michael D. Lemmon:
Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol. CDC 2014: 5266-5271 - [c1]Bo Wu, Hai Lin, Michael D. Lemmon:
Stability analysis for wireless networked control system in unslotted IEEE 802.15.4 protocol. ICCA 2014: 1084-1089
Informal and Other Publications
- 2021
- [i32]Parham Gohari, Bo Chen, Bo Wu, Matthew T. Hale, Ufuk Topcu:
Privacy-Preserving Teacher-Student Deep Reinforcement Learning. CoRR abs/2102.09599 (2021) - [i31]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 abs/2104.08329 (2021) - 2020
- [i30]Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu:
Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching. CoRR abs/2001.00835 (2020) - [i29]Farzan Memarian, Zhe Xu, Bo Wu, Min Wen, Ufuk Topcu:
Active Task-Inference-Guided Deep Inverse Reinforcement Learning. CoRR abs/2001.09227 (2020) - [i28]Zhe Xu, Bo Wu, Daniel Neider, Ufuk Topcu:
Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples. CoRR abs/2006.15714 (2020) - [i27]Yuqian Jiang, Sudarshanan Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, Peter Stone:
Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks. CoRR abs/2007.01498 (2020) - [i26]Cyrus Neary, Zhe Xu, Bo Wu, Ufuk Topcu:
Reward Machines for Cooperative Multi-Agent Reinforcement Learning. CoRR abs/2007.01962 (2020) - [i25]Zhe Xu, Bo Wu, Ufuk Topcu:
Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach. CoRR abs/2007.15114 (2020) - [i24]Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu:
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. CoRR abs/2008.00164 (2020) - [i23]Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu:
Constrained Active Classification Using Partially Observable Markov Decision Processes. CoRR abs/2008.04768 (2020) - 2019
- [i22]Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu:
Reward-Based Deception with Cognitive Bias. CoRR abs/1904.11454 (2019) - [i21]Mohamadreza Ahmadi, Nils Jansen, Bo Wu, Ufuk Topcu:
Control Theory Meets POMDPs: A Hybrid Systems Approach. CoRR abs/1905.08095 (2019) - [i20]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 abs/1909.05912 (2019) - [i19]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 abs/1909.09939 (2019) - [i18]Parham Gohari, Bo Wu, Matthew T. Hale, Ufuk Topcu:
The Dirichlet Mechanism for Differential Privacy on the Unit Simplex. CoRR abs/1910.00043 (2019) - [i17]Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu:
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization. CoRR abs/1911.07394 (2019) - 2018
- [i16]Bo Wu, Zhiyu Liu, Hai Lin:
Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems. CoRR abs/1802.04836 (2018) - [i15]Bo Wu, Jin Dai, Hai Lin:
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems. CoRR abs/1802.05728 (2018) - [i14]Bo Wu, Hai Lin:
Privacy Preserving Controller Synthesis via Belief Abstraction. CoRR abs/1802.10051 (2018) - [i13]Wei Zheng, Bo Wu, Hai Lin:
POMDP Model Learning for Human Robot Collaboration. CoRR abs/1803.11300 (2018) - [i12]Mohamadreza Ahmadi, Bo Wu, Hai Lin, Ufuk Topcu:
Privacy Verification in POMDPs via Barrier Certificates. CoRR abs/1804.03810 (2018) - [i11]Mohamadreza Ahmadi, Bo Wu, Yuxin Chen, Yisong Yue, Ufuk Topcu:
Barrier Certificates for Assured Machine Teaching. CoRR abs/1810.00093 (2018) - [i10]Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu:
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. CoRR abs/1810.00097 (2018) - [i9]Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin:
Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications. CoRR abs/1812.01204 (2018) - 2017
- [i8]Xiaobin Zhang, Bo Wu, Hai Lin:
Counterexample-Guided Abstraction Refinement for POMDPs. CoRR abs/1701.06209 (2017) - [i7]Bo Wu, Xiaobin Zhang, Hai Lin:
Permissive Supervisor Synthesis for Markov Decision Processes through Learning. CoRR abs/1703.07351 (2017) - [i6]Xiaobin Zhang, Bo Wu, Hai Lin:
Supervisor Synthesis of POMDP based on Automata Learning. CoRR abs/1703.08262 (2017) - [i5]Zhiyu Liu, Bo Wu, Jin Dai, Hai Lin:
Distributed Communication-aware Motion Planning for Multi-agent Systems from STL and SpaTeL Specifications. CoRR abs/1705.10259 (2017) - [i4]Zhiyu Liu, Jin Dai, Bo Wu, Hai Lin:
Communication-aware Motion Planning for Multi-agent Systems from Signal Temporal Logic Specifications. CoRR abs/1705.11085 (2017) - [i3]Bo Wu, Bin Hu, Hai Lin:
A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints. CoRR abs/1706.00007 (2017) - 2016
- [i2]Rafael Rodrigues da Silva, Bo Wu, Hai Lin:
Formal Design of Robot Integrated Task and Motion Planning. CoRR abs/1604.05657 (2016) - [i1]Rafael Rodrigues da Silva, Bo Wu, Jin Dai, Hai Lin:
Combined top-down and bottom-up design of cooperative multi-robot systems. CoRR abs/1607.07797 (2016)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-01 23:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
