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.