News

Thursday, June 15, 2017 - 10:00

IROS 2017: Our papers on "Reinforcement Learning With Temporal Logic Rewards" and "Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications" were accepted at the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)!

Wednesday, March 15, 2017 - 08:00

Our workshop "The What without the How: Specifying Planning Problems in Robotics" was accepted at RSS 2017 as a full-day event! The workshop is scheduled on Sat July 15th 2017!

Friday, December 2, 2016 - 12:00

My PhD advisor and mentor Calin Belta was elected IEEE fellow! Congratulations!!!

Thursday, November 10, 2016 - 12:00

IEEE TCNS: Our paper "Translational and Rotational Invariance in Networked Dynamical Systems" was accepted for publication in the journal IEEE Transactions on Control of Network Systems!

Friday, September 9, 2016 - 12:00

WAFR2016: Our paper on "Language-Guided Sampling-based Planning using Temporal Relaxation" was accepted at the 12th International Workshop on the Algorithmic Foundations of Robotics (WAFR)!

Saturday, July 23, 2016 - 21:30

CDC2016: Our paper on "Control in Belief Space with Temporal Logic Specifications" was accepted at the 55th IEEE Conference on Decision and Control (CDC)!

Wednesday, June 1, 2016 - 10:00

I started working as a postdoctoral associate with Sertac Karaman in the Laboratory for Information and Decision Systems (LIDS) at Massachusetts Institute of Technology (MIT)!

Tuesday, May 31, 2016 - 20:00

ISER2016: Our paper on "Vision-based Mobile Sensing for GPS-deprived Control with Temporal Logic Specifications" was accepted at the International Symposium on Experimental Robotics (ISER)!

Wednesday, May 18, 2016 - 14:00

IWBDA2016: Our paper on "Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology" was accepted at the International Workshop on Biodesign Automation (IWBDA)!

Saturday, May 14, 2016 - 19:00

I graduated from the PhD program at the Division of Systems Engineering, College of Engineering, Boston University under the guidance of my advisor Calin Belta!

Friday, April 8, 2016 - 19:00

I succesfully defended my PhD thsis titled Motion Planning and Control: A Formal Methods Approach!

Thursday, January 14, 2016 - 19:00

ICRA2016: Our paper on "Dynamic Routing of Energy-Aware Vehicles with Temporal Logic Constraints" was accepted at the IEEE International Conference on Robotics and Automation!

Saturday, December 26, 2015 - 08:00
HSCC 2016: Our paper on "A Decision Tree Approach to Data Classification using Signal Temporal Logic" was accepted at the Hybrid Systems: Computation and Control conference!
Monday, October 26, 2015 - 18:30

AURO Journal: "Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints" was accepted for publication in the Autonomous Robots journal!

Wednesday, July 15, 2015 - 09:30
ECC2015: Presented our paper "SE(N) Invariance in Networked Systems" at European Control Conference 2015 in Linz, Austria.