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.