Online Seminar- 7 October 2021


The next online seminar associated with the IEEE RAS TC on the Verification of Autonomous Systems will be held in October

Date: Thursday October 7th, 9:00 EDT, 13:00 GMT, 21:00 SGT


Please join the Zoom Meeting:

Meeting ID: 966 2158 8639



 * On joining, you will initially be put into a "waiting room"

 * Please mute your microphone and turn off your video

 * We will take questions - please input these via the chat


Program (short talks of 15/20 minutes each):

  • Sadra Sadraddini, "Coordination of Large Heterogeneous Teams from Temporal Logic Specifications"
  • Kevin Leahy, "Efficient Motion Planning with Collision Avoidance Guarantees"


If you wish to propose a talk for future seminars, then email Dejanira or Kevin (

Finally, a reminder to notify your colleagues about the TC web page where both joining instructions and seminar details/talks appear:

Easy Links