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