The next online seminar associated with the IEEE RAS TC on the Verification of Autonomous Systems will be held in December!
Meeting ID: 917 5836 3530
* 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
Programme (short talks of 15/20 minutes each):
Mohammad Reza Mousavi, "Trust in Autonomous Systems through Verifiability"
Simos Gerasimou, "Evolutionary-Guided Controller Synthesis for Autonomous Systems"