11.2 Autonomous Systems Design Initiative: Autonomous Cyber-Physical Systems: Modeling and Verification

Printer-friendly version PDF version

Date: Thursday 12 March 2020
Time: 14:00 - 15:30
Location / Room: Chamrousse

Chair:
Nikos Aréchiga, Toyota Research Institute, US

Co-Chair:
Jyotirmoy V. Deshmukh, University of Southern California, US

TimeLabelPresentation Title
Authors
14:0011.2.1TRUSTWORTHY AUTONOMY: BEHAVIOR PREDICTION AND VALIDATION
Author:
Katherine Driggs-Campbell, University of Illinois Urbana Champaign, US
14:3011.2.2ON INFUSING LOGICAL REASONING INTO ROBOT LEARNING
Author:
Marco Pavone, Stanford University, US
15:0011.2.3FORMALLY-SPECIFIABLE AGENT BEHAVIOR MODELS FOR AUTONOMOUS VEHICLE TEST GENERATION
Author:
Jonathan DeCastro, Toyota Research Institute, US
15:30End of session