News
RSS 2019: Our paper on "Learning to Plan with Logical Automata" was accepted at the 2019 Robotics: Science and Systems (RSS)!
IJRR: Our paper on "Control in Belief Space with Temporal Logic Specifications using Vision-based Localization" was accepted for publication in the International Journal of Robotics Research!
ACC 2019: Our paper on "Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications" was accepted at the 2019 American Control Conference (ACC)!
WAFR 2018: Our paper on "Counterexample-Guided Safety Contracts for Autonomous Driving" was accepted at the 2018 International Workshop on the Algorithmic Foundations of Robotics (WAFR)!
Infer2Control@NIPS2018 Workshop: Our poster on "Learning to Plan with Logical Automata" was accepted at the 2018 Infer2Control Workshop at Conference on Neural Information Processing Systems (NeurIPS)!
CDC 2018: Our paper on "Metrics for Signal Temporal Logic Formulae" was accepted at the 2018 IEEE Conference on Decision and Control (CDC)!
My postdoc adviser and mentor Daniela Rus was announced the winner of the 2018 "Pioneer in Robotics and Automation Award" from the IEEE Robotics and Automation Society! Congratulations!!!
ICRA 2018: Our paper on "Multi-vehicle motion planning for social optimal mobility-on-demand" was accepted at the 2018 IEEE International Conference on Robotics and Automation (ICRA)!
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!