Verified Control of Cooperative Autonomous Vehicles Download pdf Tags: formal verification autonomous vehicles 1646556 2019 CPS PI Meeting 2019 Poster U.S. Government NSF Posters License: CC-2.5 Submitted by Christoffer Heckeman on Fri, 01/10/2020 - 14:38