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)!
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!
My PhD advisor and mentor Calin Belta was elected IEEE fellow! Congratulations!!!
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!
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)!
CDC2016: Our paper on "Control in Belief Space with Temporal Logic Specifications" was accepted at the 55th IEEE Conference on Decision and Control (CDC)!
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)!
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)!
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)!
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!
I succesfully defended my PhD thsis titled Motion Planning and Control: A Formal Methods Approach!
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!
AURO Journal: "Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging and Temporal Logic Constraints" was accepted for publication in the Autonomous Robots journal!