News

Tuesday, April 30, 2019 - 08:00

RSS 2019: Our paper on "Learning to Plan with Logical Automata" was accepted at the  2019 Robotics: Science and Systems (RSS)!

Monday, April 1, 2019 - 10:00

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!

Sunday, January 27, 2019 - 13:30

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)!

Thursday, September 6, 2018 - 15:30

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)!

Friday, July 27, 2018 - 10:00

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)!

Friday, July 13, 2018 - 10:00

CDC 2018: Our paper on "Metrics for Signal Temporal Logic Formulae" was accepted at the 2018 IEEE Conference on Decision and Control (CDC)!

Friday, January 26, 2018 - 11:00

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!!!

Monday, January 15, 2018 - 17:30

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)!

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.