Write a Blog >>
Mon 20 Jan 2020 09:00 - 10:00 at St Jerome - Invited 3 Chair(s): Damien Zufferey

Mon 20 Jan

Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00
Invited 3VMCAI at St Jerome
Chair(s): Damien Zufferey MPI-SWS
09:00
60m
Talk
Model Checking for Safe Autonomy
VMCAI
Rajeev Alur University of Pennsylvania