Changliu LiuBooksAlgorithms for Verifying Deep Neural NetworksSocial Interactions for Autonomous DrivingDesigning Robot Behavior in Human-Robot InteractionsAuthor data: Open Library