News

May 27: I’m giving a talk on Establishing Correctness of Learning-Enabled Autonomous Systems at Workshop on Safe and Reliable Robot Autonomy under Uncertainty, ICRA 2022.

May 11: Hamad Ullah successfully defended his Master’s thesis!.

May 5: Opening ceremony of the Autonomous Systems Laboratory at 1110 Communications Building.

Oct 30: I’m giving talk on Formal Methods for Control Synthesis of Autonomous Systems at the GALCIT Colloquium at Caltech.

Oct 23: I’m giving talk on Formal Methods for Control Synthesis of Autonomous Systems at the Robotics Engineering Colloquium Series at WPI.

Sep 24: Our paper on Minimum-Violation Planning for Autonomous Systems: Theoretical and Practical Considerations is available on arxiv.

May 20: Our paper on Hierarchical Multiobjective Shortest Path Problems is available online on WAFR 2020.

Apr 20: I’m giving guest lectures on Minimum Violation Planning and on Rulebooks for the Autonomous Racing course at University of Pennsylvania.

Mar 20: I’m giving a talk on Behavior Specifications of Autonomous Vehicles at Bogazici University, Istanbul, Turkey.

Mar 20: Richard Murray and I are teaching a short course on Specification, Design, and Verification for Self-Driving Cars at Yildiz Technical University, Istanbul, Turkey. The course is sponsored by European Embedded Control Institute (EECI) Internataional Graduate School on Control.