Thursday, December 12, 2019
Karen Leung, Stanford Autonomous Systems Lab, will first introduce backward reachability analysis and then show how it can be used to construct a minimally-interventional safety controller operating within an autonomous vehicle control stack with the role of ensuring collision-free interaction with an externally controlled (e.g., human-driven) counterpart while respecting static obstacles such as a road boundary wall.