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"
Finally, a reminder to notify your colleagues about the TC web page where both joining instructions and seminar details/talks appear: