2022
May 26th: Presented a Talk on Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications in 2022 International Conference on Robotics and Automation (ICRA) at Philadelphia (PA), USA.
Feb 25th: Invited Lars Lindemann to present a Talk on Safe and Robust Data Enabled Autonomy in Autonomous and Intelligent Robotics Laboratory (AIRLab) at Lehigh University.
2021
October 15th: Presented a Talk on safe deep reinforcement learning with temporal logic in Autonomous and Intelligent Robotics Laboratory (AIRLab) at Lehigh University.
September 27-30: Attended IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2021) 2021 at Prague, Czech Republic. Invited as a Co-chair for the Session "Formal Methods in Robotics and Automation I " with Prof. Derya Aksaray (chair).
September 27-30: Attended IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2021) 2021 at Prague, Czech Republic. Present one paper on deep reinforcement learning and temporal logic.
June 01-03: Attended IEEE International Conference on Robotics and Automation (ICRA) 2021 at Xi'an, China. Present one paper on reinforcement learning and temporal logic.
May 25-28: Attended American Control Conference (ACC) 2021 at New Orlean, USA. Present one paper on recedinbg horizon control and formal method.
2019
Dec. 10-13: Attended 58th Conference on Decision and Control (CDC) 2019 at Nice, France. Present one paper on Characterizing Networks.
April 27-28: Attended 8th Midwest Workshop on Control and Game Theory (MWCGT) 2019 at Washington University in St. Louis, USA. Present one poster on planning and model predictive control.