default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Bo Wu 0005

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Bo Wu 0005

download as .bib file

@article{DBLP:journals/access/XuZBWPDT23,
  author       = {Zhe Xu and
                  Federico M. Zegers and
                  Nasim Baharisangari and
                  Bo Wu and
                  Alexander J. Phillips and
                  Warren E. Dixon and
                  Ufuk Topcu},
  title        = {Controller Synthesis for Multi-Agent Systems With Intermittent Communication
                  and Metric Temporal Logic Specifications},
  journal      = {{IEEE} Access},
  volume       = {11},
  pages        = {91324--91335},
  year         = {2023},
  url          = {https://doi.org/10.1109/ACCESS.2023.3308050},
  doi          = {10.1109/ACCESS.2023.3308050},
  timestamp    = {Thu, 14 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/XuZBWPDT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tac/WuCDXT23,
  author       = {Bo Wu and
                  Murat Cubuktepe and
                  Franck Djeumou and
                  Zhe Xu and
                  Ufuk Topcu},
  title        = {Policy Synthesis for Switched Linear Systems With Markov Decision
                  Process Switching},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {68},
  number       = {1},
  pages        = {532--539},
  year         = {2023},
  url          = {https://doi.org/10.1109/TAC.2022.3145659},
  doi          = {10.1109/TAC.2022.3145659},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tac/WuCDXT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tac/WuCBXT22,
  author       = {Bo Wu and
                  Steven Carr and
                  Suda Bharadwaj and
                  Zhe Xu and
                  Ufuk Topcu},
  title        = {Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying
                  Network Topology},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {67},
  number       = {7},
  pages        = {3243--3258},
  year         = {2022},
  url          = {https://doi.org/10.1109/TAC.2021.3102474},
  doi          = {10.1109/TAC.2021.3102474},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tac/WuCBXT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tac/SavasHWTT22,
  author       = {Yagiz Savas and
                  Michael Hibbard and
                  Bo Wu and
                  Takashi Tanaka and
                  Ufuk Topcu},
  title        = {Entropy Maximization for Partially Observable Markov Decision Processes},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {67},
  number       = {12},
  pages        = {6948--6955},
  year         = {2022},
  url          = {https://doi.org/10.1109/TAC.2022.3183564},
  doi          = {10.1109/TAC.2022.3183564},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tac/SavasHWTT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/automatica/WuZL21,
  author       = {Bo Wu and
                  Xiaobin Zhang and
                  Hai Lin},
  title        = {Supervisor synthesis of {POMDP} via automata learning},
  journal      = {Autom.},
  volume       = {129},
  pages        = {109654},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.automatica.2021.109654},
  doi          = {10.1016/J.AUTOMATICA.2021.109654},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/automatica/WuZL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tac/AhmadiJWT21,
  author       = {Mohamadreza Ahmadi and
                  Nils Jansen and
                  Bo Wu and
                  Ufuk Topcu},
  title        = {Control Theory Meets POMDPs: {A} Hybrid Systems Approach},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {66},
  number       = {11},
  pages        = {5191--5204},
  year         = {2021},
  url          = {https://doi.org/10.1109/TAC.2020.3035755},
  doi          = {10.1109/TAC.2020.3035755},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tac/AhmadiJWT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tifs/GohariWHHT21,
  author       = {Parham Gohari and
                  Bo Wu and
                  Calvin Hawkins and
                  Matthew T. Hale and
                  Ufuk Topcu},
  title        = {Differential Privacy on the Unit Simplex via the Dirichlet Mechanism},
  journal      = {{IEEE} Trans. Inf. Forensics Secur.},
  volume       = {16},
  pages        = {2326--2340},
  year         = {2021},
  url          = {https://doi.org/10.1109/TIFS.2021.3052356},
  doi          = {10.1109/TIFS.2021.3052356},
  timestamp    = {Tue, 02 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tifs/GohariWHHT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/JiangB0STS21,
  author       = {Yuqian Jiang and
                  Suda Bharadwaj and
                  Bo Wu and
                  Rishi Shah and
                  Ufuk Topcu and
                  Peter Stone},
  title        = {Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning
                  Tasks},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {7995--8003},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i9.16975},
  doi          = {10.1609/AAAI.V35I9.16975},
  timestamp    = {Wed, 18 Mar 2026 17:07:12 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/JiangB0STS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/NeiderGGT0021,
  author       = {Daniel Neider and
                  Jean{-}Rapha{\"{e}}l Gaglione and
                  Ivan Gavran and
                  Ufuk Topcu and
                  Bo Wu and
                  Zhe Xu},
  title        = {Advice-Guided Reinforcement Learning in a non-Markovian Environment},
  booktitle    = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2021, Thirty-Third Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
                  2021},
  pages        = {9073--9080},
  publisher    = {{AAAI} Press},
  year         = {2021},
  url          = {https://doi.org/10.1609/aaai.v35i10.17096},
  doi          = {10.1609/AAAI.V35I10.17096},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/NeiderGGT0021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/Neary00T21,
  author       = {Cyrus Neary and
                  Zhe Xu and
                  Bo Wu and
                  Ufuk Topcu},
  editor       = {Frank Dignum and
                  Alessio Lomuscio and
                  Ulle Endriss and
                  Ann Now{\'{e}}},
  title        = {Reward Machines for Cooperative Multi-Agent Reinforcement Learning},
  booktitle    = {{AAMAS} '21: 20th International Conference on Autonomous Agents and
                  Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021},
  pages        = {934--942},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://www.ifaamas.org/Proceedings/aamas2021/pdfs/p934.pdf},
  doi          = {10.5555/3463952.3464063},
  timestamp    = {Wed, 20 Jul 2022 17:03:47 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/Neary00T21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdmake/XuWONT21,
  author       = {Zhe Xu and
                  Bo Wu and
                  Aditya Ojha and
                  Daniel Neider and
                  Ufuk Topcu},
  editor       = {Andreas Holzinger and
                  Peter Kieseberg and
                  A Min Tjoa and
                  Edgar R. Weippl},
  title        = {Active Finite Reward Automaton Inference and Reinforcement Learning
                  Using Queries and Counterexamples},
  booktitle    = {Machine Learning and Knowledge Extraction - 5th {IFIP} {TC} 5, {TC}
                  12, {WG} 8.4, {WG} 8.9, {WG} 12.9 International Cross-Domain Conference,
                  {CD-MAKE} 2021, Virtual Event, August 17-20, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12844},
  pages        = {115--135},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-84060-0\_8},
  doi          = {10.1007/978-3-030-84060-0\_8},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cdmake/XuWONT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iros/CarrQBSPYB0T21,
  author       = {Steven Carr and
                  Jesse Quattrociocchi and
                  Suda Bharadwaj and
                  Steven J. Spencer and
                  Anup Parikh and
                  Carol C. Young and
                  Stephen P. Buerger and
                  Bo Wu and
                  Ufuk Topcu},
  title        = {Decentralized Classification with Assume-Guarantee Planning},
  booktitle    = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
                  {IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
  pages        = {9826--9832},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/IROS51168.2021.9636177},
  doi          = {10.1109/IROS51168.2021.9636177},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iros/CarrQBSPYB0T21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2102-09599,
  author       = {Parham Gohari and
                  Bo Chen and
                  Bo Wu and
                  Matthew T. Hale and
                  Ufuk Topcu},
  title        = {Privacy-Preserving Teacher-Student Deep Reinforcement Learning},
  journal      = {CoRR},
  volume       = {abs/2102.09599},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.09599},
  eprinttype   = {arXiv},
  eprint       = {2102.09599},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-09599.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2104-08329,
  author       = {Zhe Xu and
                  Federico M. Zegers and
                  Bo Wu and
                  Alexander J. Phillips and
                  Warren E. Dixon and
                  Ufuk Topcu},
  title        = {Controller Synthesis for Multi-Agent Systems with Intermittent Communication
                  and Metric Temporal Logic Specifications},
  journal      = {CoRR},
  volume       = {abs/2104.08329},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.08329},
  eprinttype   = {arXiv},
  eprint       = {2104.08329},
  timestamp    = {Mon, 26 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-08329.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcns/LiuWDL20,
  author       = {Zhiyu Liu and
                  Bo Wu and
                  Jin Dai and
                  Hai Lin},
  title        = {Distributed Communication-Aware Motion Planning for Networked Mobile
                  Robots Under Formal Specifications},
  journal      = {{IEEE} Trans. Control. Netw. Syst.},
  volume       = {7},
  number       = {4},
  pages        = {1801--1811},
  year         = {2020},
  url          = {https://doi.org/10.1109/TCNS.2020.3000742},
  doi          = {10.1109/TCNS.2020.3000742},
  timestamp    = {Sat, 09 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcns/LiuWDL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aips/0005GAMNT020,
  author       = {Zhe Xu and
                  Ivan Gavran and
                  Yousef Ahmad and
                  Rupak Majumdar and
                  Daniel Neider and
                  Ufuk Topcu and
                  Bo Wu},
  editor       = {J. Christopher Beck and
                  Olivier Buffet and
                  J{\"{o}}rg Hoffmann and
                  Erez Karpas and
                  Shirin Sohrabi},
  title        = {Joint Inference of Reward Machines and Policies for Reinforcement
                  Learning},
  booktitle    = {Proceedings of the Thirtieth International Conference on Automated
                  Planning and Scheduling, Nancy, France, October 26-30, 2020},
  pages        = {590--598},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://ojs.aaai.org/index.php/ICAPS/article/view/6756},
  timestamp    = {Mon, 07 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aips/0005GAMNT020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/Gohari0HT20,
  author       = {Parham Gohari and
                  Bo Wu and
                  Matthew T. Hale and
                  Ufuk Topcu},
  title        = {The Dirichlet Mechanism for Differential Privacy on the Unit Simplex},
  booktitle    = {2020 American Control Conference, {ACC} 2020, Denver, CO, USA, July
                  1-3, 2020},
  pages        = {1253--1258},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/ACC45564.2020.9147447},
  doi          = {10.23919/ACC45564.2020.9147447},
  timestamp    = {Sun, 08 Aug 2021 01:40:57 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/Gohari0HT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/0005CB0T20,
  author       = {Bo Wu and
                  Steven Carr and
                  Suda Bharadwaj and
                  Zhe Xu and
                  Ufuk Topcu},
  title        = {Resilient Distributed Hypothesis Testing with Time-Varying Network
                  Topology},
  booktitle    = {2020 American Control Conference, {ACC} 2020, Denver, CO, USA, July
                  1-3, 2020},
  pages        = {1483--1488},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/ACC45564.2020.9148036},
  doi          = {10.23919/ACC45564.2020.9148036},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/0005CB0T20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/Memarian00WT20,
  author       = {Farzan Memarian and
                  Zhe Xu and
                  Bo Wu and
                  Min Wen and
                  Ufuk Topcu},
  title        = {Active Task-Inference-Guided Deep Inverse Reinforcement Learning},
  booktitle    = {59th {IEEE} Conference on Decision and Control, {CDC} 2020, Jeju Island,
                  South Korea, December 14-18, 2020},
  pages        = {1932--1938},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/CDC42340.2020.9304190},
  doi          = {10.1109/CDC42340.2020.9304190},
  timestamp    = {Fri, 04 Mar 2022 13:31:02 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/Memarian00WT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2001-00835,
  author       = {Bo Wu and
                  Murat Cubuktepe and
                  Franck Djeumou and
                  Zhe Xu and
                  Ufuk Topcu},
  title        = {Policy Synthesis for Switched Linear Systems with Markov Decision
                  Process Switching},
  journal      = {CoRR},
  volume       = {abs/2001.00835},
  year         = {2020},
  url          = {http://arxiv.org/abs/2001.00835},
  eprinttype   = {arXiv},
  eprint       = {2001.00835},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-00835.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2001-09227,
  author       = {Farzan Memarian and
                  Zhe Xu and
                  Bo Wu and
                  Min Wen and
                  Ufuk Topcu},
  title        = {Active Task-Inference-Guided Deep Inverse Reinforcement Learning},
  journal      = {CoRR},
  volume       = {abs/2001.09227},
  year         = {2020},
  url          = {https://arxiv.org/abs/2001.09227},
  eprinttype   = {arXiv},
  eprint       = {2001.09227},
  timestamp    = {Thu, 30 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-09227.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2006-15714,
  author       = {Zhe Xu and
                  Bo Wu and
                  Daniel Neider and
                  Ufuk Topcu},
  title        = {Active Finite Reward Automaton Inference and Reinforcement Learning
                  Using Queries and Counterexamples},
  journal      = {CoRR},
  volume       = {abs/2006.15714},
  year         = {2020},
  url          = {https://arxiv.org/abs/2006.15714},
  eprinttype   = {arXiv},
  eprint       = {2006.15714},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2006-15714.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2007-01498,
  author       = {Yuqian Jiang and
                  Sudarshanan Bharadwaj and
                  Bo Wu and
                  Rishi Shah and
                  Ufuk Topcu and
                  Peter Stone},
  title        = {Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks},
  journal      = {CoRR},
  volume       = {abs/2007.01498},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.01498},
  eprinttype   = {arXiv},
  eprint       = {2007.01498},
  timestamp    = {Tue, 19 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-01498.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2007-01962,
  author       = {Cyrus Neary and
                  Zhe Xu and
                  Bo Wu and
                  Ufuk Topcu},
  title        = {Reward Machines for Cooperative Multi-Agent Reinforcement Learning},
  journal      = {CoRR},
  volume       = {abs/2007.01962},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.01962},
  eprinttype   = {arXiv},
  eprint       = {2007.01962},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-01962.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2007-15114,
  author       = {Zhe Xu and
                  Bo Wu and
                  Ufuk Topcu},
  title        = {Control Strategies for {COVID-19} Epidemic with Vaccination, Shield
                  Immunity and Quarantine: {A} Metric Temporal Logic Approach},
  journal      = {CoRR},
  volume       = {abs/2007.15114},
  year         = {2020},
  url          = {https://arxiv.org/abs/2007.15114},
  eprinttype   = {arXiv},
  eprint       = {2007.15114},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-15114.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2008-00164,
  author       = {Bo Wu and
                  Steven Carr and
                  Suda Bharadwaj and
                  Zhe Xu and
                  Ufuk Topcu},
  title        = {Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying
                  Network Topology},
  journal      = {CoRR},
  volume       = {abs/2008.00164},
  year         = {2020},
  url          = {https://arxiv.org/abs/2008.00164},
  eprinttype   = {arXiv},
  eprint       = {2008.00164},
  timestamp    = {Mon, 04 Nov 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-00164.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2008-04768,
  author       = {Bo Wu and
                  Mohamadreza Ahmadi and
                  Suda Bharadwaj and
                  Ufuk Topcu},
  title        = {Constrained Active Classification Using Partially Observable Markov
                  Decision Processes},
  journal      = {CoRR},
  volume       = {abs/2008.04768},
  year         = {2020},
  url          = {https://arxiv.org/abs/2008.04768},
  eprinttype   = {arXiv},
  eprint       = {2008.04768},
  timestamp    = {Sun, 16 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-04768.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tac/WuZL19,
  author       = {Bo Wu and
                  Xiaobin Zhang and
                  Hai Lin},
  title        = {Permissive Supervisor Synthesis for Markov Decision Processes Through
                  Learning},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {64},
  number       = {8},
  pages        = {3332--3338},
  year         = {2019},
  url          = {https://doi.org/10.1109/TAC.2018.2879505},
  doi          = {10.1109/TAC.2018.2879505},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tac/WuZL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/allerton/0005Z0DT19,
  author       = {Zhe Xu and
                  Federico M. Zegers and
                  Bo Wu and
                  Warren E. Dixon and
                  Ufuk Topcu},
  title        = {Controller Synthesis for Multi-Agent Systems With Intermittent Communication.
                  {A} Metric Temporal Logic Approach},
  booktitle    = {57th Annual Allerton Conference on Communication, Control, and Computing,
                  Allerton 2019, Monticello, IL, USA, September 24-27, 2019},
  pages        = {1015--1022},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ALLERTON.2019.8919727},
  doi          = {10.1109/ALLERTON.2019.8919727},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/allerton/0005Z0DT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/0005ABT19,
  author       = {Bo Wu and
                  Mohamadreza Ahmadi and
                  Suda Bharadwaj and
                  Ufuk Topcu},
  title        = {Cost-Bounded Active Classification Using Partially Observable Markov
                  Decision Processes},
  booktitle    = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
                  July 10-12, 2019},
  pages        = {1216--1223},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/ACC.2019.8814415},
  doi          = {10.23919/ACC.2019.8814415},
  timestamp    = {Fri, 07 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/0005ABT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/Ahmadi00YT19,
  author       = {Mohamadreza Ahmadi and
                  Bo Wu and
                  Yuxin Chen and
                  Yisong Yue and
                  Ufuk Topcu},
  title        = {Barrier Certificates for Assured Machine Teaching},
  booktitle    = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
                  July 10-12, 2019},
  pages        = {3658--3663},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/ACC.2019.8815376},
  doi          = {10.23919/ACC.2019.8815376},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/Ahmadi00YT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/0005CBT19,
  author       = {Bo Wu and
                  Murat Cubuktepe and
                  Suda Bharadwaj and
                  Ufuk Topcu},
  title        = {Reward-Based Deception with Cognitive Bias},
  booktitle    = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
                  France, December 11-13, 2019},
  pages        = {2265--2270},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CDC40024.2019.9029476},
  doi          = {10.1109/CDC40024.2019.9029476},
  timestamp    = {Fri, 04 Mar 2022 13:30:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/0005CBT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/HibbardS0TT19,
  author       = {Michael Hibbard and
                  Yagiz Savas and
                  Bo Wu and
                  Takashi Tanaka and
                  Ufuk Topcu},
  title        = {Unpredictable Planning Under Partial Observability},
  booktitle    = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
                  France, December 11-13, 2019},
  pages        = {2271--2277},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CDC40024.2019.9030012},
  doi          = {10.1109/CDC40024.2019.9030012},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/HibbardS0TT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/0005CT19,
  author       = {Bo Wu and
                  Murat Cubuktepe and
                  Ufuk Topcu},
  title        = {Switched Linear Systems Meet Markov Decision Processes: Stability
                  Guaranteed Policy Synthesis},
  booktitle    = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
                  France, December 11-13, 2019},
  pages        = {2509--2516},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CDC40024.2019.9029513},
  doi          = {10.1109/CDC40024.2019.9029513},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/0005CT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/BharadwajL0TT19,
  author       = {Suda Bharadwaj and
                  Louis Ly and
                  Bo Wu and
                  Richard Tsai and
                  Ufuk Topcu},
  title        = {Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled
                  Visibility Optimization},
  booktitle    = {58th {IEEE} Conference on Decision and Control, {CDC} 2019, Nice,
                  France, December 11-13, 2019},
  pages        = {6275--6281},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CDC40024.2019.9029426},
  doi          = {10.1109/CDC40024.2019.9029426},
  timestamp    = {Mon, 04 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/BharadwajL0TT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1904-11454,
  author       = {Bo Wu and
                  Murat Cubuktepe and
                  Suda Bharadwaj and
                  Ufuk Topcu},
  title        = {Reward-Based Deception with Cognitive Bias},
  journal      = {CoRR},
  volume       = {abs/1904.11454},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.11454},
  eprinttype   = {arXiv},
  eprint       = {1904.11454},
  timestamp    = {Thu, 02 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-11454.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1905-08095,
  author       = {Mohamadreza Ahmadi and
                  Nils Jansen and
                  Bo Wu and
                  Ufuk Topcu},
  title        = {Control Theory Meets POMDPs: {A} Hybrid Systems Approach},
  journal      = {CoRR},
  volume       = {abs/1905.08095},
  year         = {2019},
  url          = {http://arxiv.org/abs/1905.08095},
  eprinttype   = {arXiv},
  eprint       = {1905.08095},
  timestamp    = {Tue, 28 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-08095.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1909-05912,
  author       = {Zhe Xu and
                  Ivan Gavran and
                  Yousef Ahmad and
                  Rupak Majumdar and
                  Daniel Neider and
                  Ufuk Topcu and
                  Bo Wu},
  title        = {Joint Inference of Reward Machines and Policies for Reinforcement
                  Learning},
  journal      = {CoRR},
  volume       = {abs/1909.05912},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.05912},
  eprinttype   = {arXiv},
  eprint       = {1909.05912},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-05912.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1909-09939,
  author       = {Zhe Xu and
                  Federico M. Zegers and
                  Bo Wu and
                  Warren E. Dixon and
                  Ufuk Topcu},
  title        = {Controller Synthesis for Multi-Agent Systems With Intermittent Communication:
                  {A} Metric Temporal Logic Approach},
  journal      = {CoRR},
  volume       = {abs/1909.09939},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.09939},
  eprinttype   = {arXiv},
  eprint       = {1909.09939},
  timestamp    = {Fri, 27 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-09939.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1910-00043,
  author       = {Parham Gohari and
                  Bo Wu and
                  Matthew T. Hale and
                  Ufuk Topcu},
  title        = {The Dirichlet Mechanism for Differential Privacy on the Unit Simplex},
  journal      = {CoRR},
  volume       = {abs/1910.00043},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.00043},
  eprinttype   = {arXiv},
  eprint       = {1910.00043},
  timestamp    = {Fri, 04 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-00043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1911-07394,
  author       = {Suda Bharadwaj and
                  Louis Ly and
                  Bo Wu and
                  Richard Tsai and
                  Ufuk Topcu},
  title        = {Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled
                  Visibility Optimization},
  journal      = {CoRR},
  volume       = {abs/1911.07394},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.07394},
  eprinttype   = {arXiv},
  eprint       = {1911.07394},
  timestamp    = {Mon, 04 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-07394.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/csysl/WuL18,
  author       = {Bo Wu and
                  Hai Lin},
  title        = {Privacy Verification and Enforcement via Belief Abstraction},
  journal      = {{IEEE} Control. Syst. Lett.},
  volume       = {2},
  number       = {4},
  pages        = {815--820},
  year         = {2018},
  url          = {https://doi.org/10.1109/LCSYS.2018.2849554},
  doi          = {10.1109/LCSYS.2018.2849554},
  timestamp    = {Tue, 24 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csysl/WuL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcst/WuLL18,
  author       = {Bo Wu and
                  Michael D. Lemmon and
                  Hai Lin},
  title        = {Formal Methods for Stability Analysis of Networked Control Systems
                  With {IEEE} 802.15.4 Protocol},
  journal      = {{IEEE} Trans. Control. Syst. Technol.},
  volume       = {26},
  number       = {5},
  pages        = {1635--1645},
  year         = {2018},
  url          = {https://doi.org/10.1109/TCST.2017.2723877},
  doi          = {10.1109/TCST.2017.2723877},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcst/WuLL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/ZhengWL18,
  author       = {Wei Zheng and
                  Bo Wu and
                  Hai Lin},
  title        = {Solving Complex Tasks Hierarchically from Demonstrations},
  booktitle    = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
                  USA, June 27-29, 2018},
  pages        = {1178--1183},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/ACC.2018.8431734},
  doi          = {10.23919/ACC.2018.8431734},
  timestamp    = {Thu, 12 Jun 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/ZhengWL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/WuDL18,
  author       = {Bo Wu and
                  Jin Dai and
                  Hai Lin},
  title        = {Synthesis of Insertion Functions to Enforce Decentralized and Joint
                  Opacity Properties of Discrete-event Systems},
  booktitle    = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
                  USA, June 27-29, 2018},
  pages        = {3026--3031},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/ACC.2018.8431583},
  doi          = {10.23919/ACC.2018.8431583},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/WuDL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/WuLL18,
  author       = {Bo Wu and
                  Zhiyu Liu and
                  Hai Lin},
  title        = {Parameter and Insertion Function Co-synthesis for Opacity Enhancement
                  in Parametric Stochastic Discrete Event Systems},
  booktitle    = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
                  USA, June 27-29, 2018},
  pages        = {3032--3037},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/ACC.2018.8430763},
  doi          = {10.23919/ACC.2018.8430763},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/WuLL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/LiuWL18,
  author       = {Zhiyu Liu and
                  Bo Wu and
                  Hai Lin},
  title        = {A Mean Field Game Approach to Swarming Robots Control},
  booktitle    = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
                  USA, June 27-29, 2018},
  pages        = {4293--4298},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/ACC.2018.8431807},
  doi          = {10.23919/ACC.2018.8431807},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/LiuWL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/ZhengWL18,
  author       = {Wei Zheng and
                  Bo Wu and
                  Hai Lin},
  title        = {{POMDP} Model Learning for Human Robot Collaboration},
  booktitle    = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
                  FL, USA, December 17-19, 2018},
  pages        = {1156--1161},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/CDC.2018.8618904},
  doi          = {10.1109/CDC.2018.8618904},
  timestamp    = {Thu, 12 Jun 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/ZhengWL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/Liu0018,
  author       = {Zhiyu Liu and
                  Bo Wu and
                  Hai Lin},
  title        = {Coordinated Robot-Assisted Human Crowd Evacuation},
  booktitle    = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
                  FL, USA, December 17-19, 2018},
  pages        = {4481--4486},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/CDC.2018.8619480},
  doi          = {10.1109/CDC.2018.8619480},
  timestamp    = {Fri, 25 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/Liu0018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/Ahmadi00T18,
  author       = {Mohamadreza Ahmadi and
                  Bo Wu and
                  Hai Lin and
                  Ufuk Topcu},
  title        = {Privacy Verification in POMDPs via Barrier Certificates},
  booktitle    = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
                  FL, USA, December 17-19, 2018},
  pages        = {5610--5615},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/CDC.2018.8619061},
  doi          = {10.1109/CDC.2018.8619061},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/Ahmadi00T18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1802-04836,
  author       = {Bo Wu and
                  Zhiyu Liu and
                  Hai Lin},
  title        = {Parameter and Insertion Function Co-synthesis for Opacity Enhancement
                  in Parametric Stochastic Discrete Event Systems},
  journal      = {CoRR},
  volume       = {abs/1802.04836},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.04836},
  eprinttype   = {arXiv},
  eprint       = {1802.04836},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-04836.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1802-05728,
  author       = {Bo Wu and
                  Jin Dai and
                  Hai Lin},
  title        = {Synthesis of Insertion Functions to Enforce Decentralized and Joint
                  Opacity Properties of Discrete-event Systems},
  journal      = {CoRR},
  volume       = {abs/1802.05728},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.05728},
  eprinttype   = {arXiv},
  eprint       = {1802.05728},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-05728.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1802-10051,
  author       = {Bo Wu and
                  Hai Lin},
  title        = {Privacy Preserving Controller Synthesis via Belief Abstraction},
  journal      = {CoRR},
  volume       = {abs/1802.10051},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.10051},
  eprinttype   = {arXiv},
  eprint       = {1802.10051},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-10051.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1803-11300,
  author       = {Wei Zheng and
                  Bo Wu and
                  Hai Lin},
  title        = {{POMDP} Model Learning for Human Robot Collaboration},
  journal      = {CoRR},
  volume       = {abs/1803.11300},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.11300},
  eprinttype   = {arXiv},
  eprint       = {1803.11300},
  timestamp    = {Thu, 12 Jun 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-11300.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1804-03810,
  author       = {Mohamadreza Ahmadi and
                  Bo Wu and
                  Hai Lin and
                  Ufuk Topcu},
  title        = {Privacy Verification in POMDPs via Barrier Certificates},
  journal      = {CoRR},
  volume       = {abs/1804.03810},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.03810},
  eprinttype   = {arXiv},
  eprint       = {1804.03810},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-03810.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1810-00093,
  author       = {Mohamadreza Ahmadi and
                  Bo Wu and
                  Yuxin Chen and
                  Yisong Yue and
                  Ufuk Topcu},
  title        = {Barrier Certificates for Assured Machine Teaching},
  journal      = {CoRR},
  volume       = {abs/1810.00093},
  year         = {2018},
  url          = {http://arxiv.org/abs/1810.00093},
  eprinttype   = {arXiv},
  eprint       = {1810.00093},
  timestamp    = {Sun, 07 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-00093.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1810-00097,
  author       = {Bo Wu and
                  Mohamadreza Ahmadi and
                  Suda Bharadwaj and
                  Ufuk Topcu},
  title        = {Cost-Bounded Active Classification Using Partially Observable Markov
                  Decision Processes},
  journal      = {CoRR},
  volume       = {abs/1810.00097},
  year         = {2018},
  url          = {http://arxiv.org/abs/1810.00097},
  eprinttype   = {arXiv},
  eprint       = {1810.00097},
  timestamp    = {Tue, 30 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-00097.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1812-01204,
  author       = {Zhiyu Liu and
                  Bo Wu and
                  Jin Dai and
                  Hai Lin},
  title        = {Distributed Communication-aware Motion Planning for Networked Mobile
                  Robots under Formal Specifications},
  journal      = {CoRR},
  volume       = {abs/1812.01204},
  year         = {2018},
  url          = {http://arxiv.org/abs/1812.01204},
  eprinttype   = {arXiv},
  eprint       = {1812.01204},
  timestamp    = {Tue, 01 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1812-01204.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/WuHL17,
  author       = {Bo Wu and
                  Bin Hu and
                  Hai Lin},
  title        = {Toward efficient manufacturing systems: {A} trust based human robot
                  collaboration},
  booktitle    = {2017 American Control Conference, {ACC} 2017, Seattle, WA, USA, May
                  24-26, 2017},
  pages        = {1536--1541},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.23919/ACC.2017.7963171},
  doi          = {10.23919/ACC.2017.7963171},
  timestamp    = {Fri, 03 Dec 2021 13:04:31 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/WuHL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/LiuDWL17,
  author       = {Zhiyu Liu and
                  Jin Dai and
                  Bo Wu and
                  Hai Lin},
  title        = {Communication-aware motion planning for multi-agent systems from signal
                  temporal logic specifications},
  booktitle    = {2017 American Control Conference, {ACC} 2017, Seattle, WA, USA, May
                  24-26, 2017},
  pages        = {2516--2521},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.23919/ACC.2017.7963331},
  doi          = {10.23919/ACC.2017.7963331},
  timestamp    = {Thu, 10 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/LiuDWL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/Liu0D017,
  author       = {Zhiyu Liu and
                  Bo Wu and
                  Jin Dai and
                  Hai Lin},
  title        = {Distributed communication-aware motion planning for multi-agent systems
                  from {STL} and SpaTeL specifications},
  booktitle    = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
                  Melbourne, Australia, December 12-15, 2017},
  pages        = {4452--4457},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/CDC.2017.8264316},
  doi          = {10.1109/CDC.2017.8264316},
  timestamp    = {Fri, 04 Mar 2022 13:29:55 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/Liu0D017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/ZhangW017,
  author       = {Xiaobin Zhang and
                  Bo Wu and
                  Hai Lin},
  title        = {Counterexample-Guided Abstraction Refinement for POMDPs},
  journal      = {CoRR},
  volume       = {abs/1701.06209},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.06209},
  eprinttype   = {arXiv},
  eprint       = {1701.06209},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ZhangW017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/WuZL17,
  author       = {Bo Wu and
                  Xiaobin Zhang and
                  Hai Lin},
  title        = {Permissive Supervisor Synthesis for Markov Decision Processes through
                  Learning},
  journal      = {CoRR},
  volume       = {abs/1703.07351},
  year         = {2017},
  url          = {http://arxiv.org/abs/1703.07351},
  eprinttype   = {arXiv},
  eprint       = {1703.07351},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WuZL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/ZhangWL17,
  author       = {Xiaobin Zhang and
                  Bo Wu and
                  Hai Lin},
  title        = {Supervisor Synthesis of {POMDP} based on Automata Learning},
  journal      = {CoRR},
  volume       = {abs/1703.08262},
  year         = {2017},
  url          = {http://arxiv.org/abs/1703.08262},
  eprinttype   = {arXiv},
  eprint       = {1703.08262},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ZhangWL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/LiuWDL17,
  author       = {Zhiyu Liu and
                  Bo Wu and
                  Jin Dai and
                  Hai Lin},
  title        = {Distributed Communication-aware Motion Planning for Multi-agent Systems
                  from {STL} and SpaTeL Specifications},
  journal      = {CoRR},
  volume       = {abs/1705.10259},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.10259},
  eprinttype   = {arXiv},
  eprint       = {1705.10259},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LiuWDL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/LiuDWL17,
  author       = {Zhiyu Liu and
                  Jin Dai and
                  Bo Wu and
                  Hai Lin},
  title        = {Communication-aware Motion Planning for Multi-agent Systems from Signal
                  Temporal Logic Specifications},
  journal      = {CoRR},
  volume       = {abs/1705.11085},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.11085},
  eprinttype   = {arXiv},
  eprint       = {1705.11085},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LiuDWL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/WuHL17a,
  author       = {Bo Wu and
                  Bin Hu and
                  Hai Lin},
  title        = {A Learning Based Optimal Human Robot Collaboration with Linear Temporal
                  Logic Constraints},
  journal      = {CoRR},
  volume       = {abs/1706.00007},
  year         = {2017},
  url          = {http://arxiv.org/abs/1706.00007},
  eprinttype   = {arXiv},
  eprint       = {1706.00007},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/WuHL17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaifs/Silva0D016,
  author       = {Rafael Rodrigues da Silva and
                  Bo Wu and
                  Jin Dai and
                  Hai Lin},
  title        = {Extended Abstract: Formal Design of Cooperative Multi-Agent Systems},
  booktitle    = {2016 {AAAI} Fall Symposia, Arlington, Virginia, USA, November 17-19,
                  2016},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://aaai.org/ocs/index.php/FSS/FSS16/paper/view/14102},
  timestamp    = {Mon, 02 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaifs/Silva0D016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/WuL16,
  author       = {Bo Wu and
                  Hai Lin},
  title        = {Counterexample-guided distributed permissive supervisor synthesis
                  for probabilistic multi-agent systems through learning},
  booktitle    = {2016 American Control Conference, {ACC} 2016, Boston, MA, USA, July
                  6-8, 2016},
  pages        = {5519--5524},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ACC.2016.7526535},
  doi          = {10.1109/ACC.2016.7526535},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/WuL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/ZhangWL16,
  author       = {Xiaobin Zhang and
                  Bo Wu and
                  Hai Lin},
  title        = {Assume-guarantee reasoning framework for {MDP-POMDP}},
  booktitle    = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
                  NV, USA, December 12-14, 2016},
  pages        = {795--800},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CDC.2016.7798365},
  doi          = {10.1109/CDC.2016.7798365},
  timestamp    = {Fri, 04 Mar 2022 13:29:43 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/ZhangWL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/SilvaW016,
  author       = {Rafael Rodrigues da Silva and
                  Bo Wu and
                  Hai Lin},
  title        = {Formal design of robot Integrated Task and Motion Planning},
  booktitle    = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
                  NV, USA, December 12-14, 2016},
  pages        = {6589--6594},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CDC.2016.7799283},
  doi          = {10.1109/CDC.2016.7799283},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/SilvaW016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/SilvaWL16,
  author       = {Rafael Rodrigues da Silva and
                  Bo Wu and
                  Hai Lin},
  title        = {Formal Design of Robot Integrated Task and Motion Planning},
  journal      = {CoRR},
  volume       = {abs/1604.05657},
  year         = {2016},
  url          = {http://arxiv.org/abs/1604.05657},
  eprinttype   = {arXiv},
  eprint       = {1604.05657},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SilvaWL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/SilvaWDL16,
  author       = {Rafael Rodrigues da Silva and
                  Bo Wu and
                  Jin Dai and
                  Hai Lin},
  title        = {Combined top-down and bottom-up design of cooperative multi-robot
                  systems},
  journal      = {CoRR},
  volume       = {abs/1607.07797},
  year         = {2016},
  url          = {http://arxiv.org/abs/1607.07797},
  eprinttype   = {arXiv},
  eprint       = {1607.07797},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SilvaWDL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adhs/0005D015,
  author       = {Bo Wu and
                  Jin Dai and
                  Hai Lin},
  editor       = {Magnus Egerstedt and
                  Yorai Wardi},
  title        = {Combined Top-down and Bottom-up Approach to Cooperative Distributed
                  Multi-agent Control with Connectivity Constraints},
  booktitle    = {5th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
                  2015, Atlanta, GA, USA, October 14-16, 2015},
  series       = {IFAC-PapersOnLine},
  volume       = {48},
  number       = {27},
  pages        = {224--229},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ifacol.2015.11.179},
  doi          = {10.1016/J.IFACOL.2015.11.179},
  timestamp    = {Tue, 09 Oct 2018 14:05:06 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/0005D015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/WuL15,
  author       = {Bo Wu and
                  Hai Lin},
  title        = {Counterexample-guided permissive supervisor synthesis for probabilistic
                  systems through learning},
  booktitle    = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
                  2015},
  pages        = {2894--2899},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ACC.2015.7171174},
  doi          = {10.1109/ACC.2015.7171174},
  timestamp    = {Fri, 03 Dec 2021 13:03:59 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/WuL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/ZhangWL15,
  author       = {Xiaobin Zhang and
                  Bo Wu and
                  Hai Lin},
  title        = {Learning based supervisor synthesis of {POMDP} for {PCTL} specifications},
  booktitle    = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
                  Japan, December 15-18, 2015},
  pages        = {7470--7475},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/CDC.2015.7403399},
  doi          = {10.1109/CDC.2015.7403399},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/ZhangWL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/WuLL14,
  author       = {Bo Wu and
                  Hai Lin and
                  Michael D. Lemmon},
  title        = {Formal methods for stability analysis of networked control systems
                  with {IEEE} 802.15.4 protocol},
  booktitle    = {53rd {IEEE} Conference on Decision and Control, {CDC} 2014, Los Angeles,
                  CA, USA, December 15-17, 2014},
  pages        = {5266--5271},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/CDC.2014.7040212},
  doi          = {10.1109/CDC.2014.7040212},
  timestamp    = {Fri, 04 Mar 2022 13:29:15 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/WuLL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icca/WuLL14,
  author       = {Bo Wu and
                  Hai Lin and
                  Michael D. Lemmon},
  title        = {Stability analysis for wireless networked control system in unslotted
                  {IEEE} 802.15.4 protocol},
  booktitle    = {11th {IEEE} International Conference on Control {\&} Automation,
                  {ICCA} 2014, Taichung, Taiwan, June 18-20, 2014},
  pages        = {1084--1089},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICCA.2014.6871071},
  doi          = {10.1109/ICCA.2014.6871071},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icca/WuLL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.

last updated on 2026-08-27 00:35 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, funded, and maintained by:

Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.