Bo Wu - RankMe

78 papers A* 3A 2C 13Journal 43Unranked 17

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