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:
https://jnjmeetings.zoom.com/j/96621588639
Meeting ID: 966 2158 8639
Instructions:
* 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 (dejanira.araiza.i@gmail.com, kevin.leahy@ll.mit.edu).
Finally, a reminder to notify your colleagues about the TC web page where both joining instructions and seminar details/talks appear:
https://www.ieee-ras.org/verification-of-autonomous-systems