Poster abstract: A game theoretic approach to controller design for cyber-physical systems: Collision avoidance

A collision avoidance problem for the vehicle equipped with adaptive cruise control is considered in the context of hybrid systems with emphasis on safety verification.