Bo Wu

IEEE Access, 2023

2022

Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Entropy Maximization for Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

2021

Differential Privacy on the Unit Simplex via the Dirichlet Mechanism.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2021

Control Theory Meets POMDPs: A Hybrid Systems Approach.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

Controller Synthesis for Multi-Agent Systems with Intermittent Communication and Metric Temporal Logic Specifications.

[BibT_eX]

[DOI]

Zhe Xu

Federico M. Zegers

Alexander J. Phillips

Warren E. Dixon

CoRR, 2021

Privacy-Preserving Teacher-Student Deep Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2021

Supervisor synthesis of POMDP via automata learning.

[BibT_eX]

[DOI]

Autom., 2021

Decentralized Classification with Assume-Guarantee Planning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Extraction, 2021

Reward Machines for Cooperative Multi-Agent Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Advice-Guided Reinforcement Learning in a non-Markovian Environment.

[BibT_eX]

[DOI]

Daniel Neider

Jean-Raphaël Gaglione

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2020

Constrained Active Classification Using Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

CoRR, 2020

Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach.

[BibT_eX]

[DOI]

Zhe Xu

CoRR, 2020

Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks.

[BibT_eX]

[DOI]

Yuqian Jiang

Sudarshanan Bharadwaj

CoRR, 2020

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples.

[BibT_eX]

[DOI]

CoRR, 2020

Active Task-Inference-Guided Deep Inverse Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

The Dirichlet Mechanism for Differential Privacy on the Unit Simplex.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

Joint Inference of Reward Machines and Policies for Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Permissive Supervisor Synthesis for Markov Decision Processes Through Learning.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Unpredictable Planning Under Partial Observability.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis.

[BibT_eX]

[DOI]

Murat Cubuktepe

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Reward-Based Deception with Cognitive Bias.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Barrier Certificates for Assured Machine Teaching.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Controller Synthesis for Multi-Agent Systems With Intermittent Communication. A Metric Temporal Logic Approach.

[BibT_eX]

[DOI]

Proceedings of the 57th Annual Allerton Conference on Communication, 2019

2018

Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol.

[BibT_eX]

[DOI]

Michael D. Lemmon

IEEE Trans. Control. Syst. Technol., 2018

Privacy Verification and Enforcement via Belief Abstraction.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2018

Privacy Preserving Controller Synthesis via Belief Abstraction.

[BibT_eX]

[DOI]

CoRR, 2018

POMDP Model Learning for Human Robot Collaboration.

[BibT_eX]

[DOI]

Wei Zheng

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Coordinated Robot-Assisted Human Crowd Evacuation.

[BibT_eX]

[DOI]

Zhiyu Liu

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Privacy Verification in POMDPs via Barrier Certificates.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Solving Complex Tasks Hierarchically from Demonstrations.

[BibT_eX]

[DOI]

Wei Zheng

Proceedings of the 2018 Annual American Control Conference, 2018

Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems.

[BibT_eX]

[DOI]

Zhiyu Liu

Proceedings of the 2018 Annual American Control Conference, 2018

Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

A Mean Field Game Approach to Swarming Robots Control.

[BibT_eX]

[DOI]

Zhiyu Liu

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Supervisor Synthesis of POMDP based on Automata Learning.

[BibT_eX]

[DOI]

CoRR, 2017

Counterexample-Guided Abstraction Refinement for POMDPs.

[BibT_eX]

[DOI]

CoRR, 2017

A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints.

[BibT_eX]

[DOI]

Bin Hu

CoRR, 2017

Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Toward efficient manufacturing systems: A trust based human robot collaboration.

[BibT_eX]

[DOI]

Bin Hu

Rafael Rodrigues da Silva

Proceedings of the 2017 American Control Conference, 2017

Communication-aware motion planning for multi-agent systems from signal temporal logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Combined top-down and bottom-up design of cooperative multi-robot systems.

[BibT_eX]

[DOI]

CoRR, 2016

Assume-guarantee reasoning framework for MDP-POMDP.

[BibT_eX]

[DOI]

Rafael Rodrigues da Silva

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Formal design of robot Integrated Task and Motion Planning.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning.

[BibT_eX]

[DOI]

Rafael Rodrigues da Silva

Proceedings of the 2016 American Control Conference, 2016

Extended Abstract: Formal Design of Cooperative Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016

2015

Learning based supervisor synthesis of POMDP for PCTL specifications.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints.

[BibT_eX]

[DOI]

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Stability analysis for wireless networked control system in unslotted IEEE 802.15.4 protocol.

[BibT_eX]

[DOI]