Conference Talks
“Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications", The 2024 IEEE International Conference on Robotics and Automation (ICRA) 2024.
"Hierarchical control for uncertain discrete-time nonlinear systems under signal temporal logic specification", in the 60th Annual Conference on Decision and Control (CDC), 2021.
“A fully distributed motion coordination strategy for multi-robot systems with local information" in 2020 American Control Conference, Denver, USA, July, 2020
“Approximately symbolic models for a class of continuous-time nonlinear systems" in 58th IEEE Conference on Decision and Control, Nice, France, December, 2019
"Time-constrained multi-agent task scheduling based on prescribed performance control" in 57th IEEE Conference on Decision and Control, Miami Beach, USA, December, 2018
“Explicit computation of sampling period in periodic event-triggered multi-agent control" in 2018 American Control Conference, Milwaukee, USA, July, 2018
"Event-Triggered Output Feedback Control for Linear Systems under Tactile Communication" in 56th IEEE Conference on Decision and Control, Melbourne, Australia , December, 2017
Invited Talks
“Trust-aware motion planning for human-robot collaboration", Computer Science Postdoc Networking Evening, University of Oxford, 2024.
“Online control synthesis under signal temporal logic specifications", University of Science and Technology Beijing, invited by Prof. Zhijie Liu, December, 2023.
“Optimal strategy synthesis for LTL specifications in probabilistic and nondeterministic planning domains", University of Oxford, invited by Prof. Giuseppe De Giacomo, November, 2023.
“Trust-aware motion planning for human-robot collaboration", Division of Decision and Control Systems, KTH Royal Institute of Technology, invited by Prof. Dimos Dimarogonas, October, 2023.
“Verification and Robust Strategy Synthesis for Set-Valued Markov Decision Processes under LTL Specifications", University of Oxford, Invited by Prof. Alessandro Abate, June, 2023.
“Hierarchical control for uncertain nonlinear systems– application to high level control synthesis", ICTEAM Institute, UCLouvain, invited by Prof. Rapha.l Jungers, May, 2021
“Approximately symbolic models for a class of continuous-time nonlinear systems", University of Oxford, Invited by Prof. Alessandro Abate, October, 2019