@mastersthesis{VanValkenburg2020, author = "VanValkenburg, MaryAnn E." title = "Alloy-Guided Verification of Cooperative Autonomous Driving Behavior" school = "Worcester Polytechnic Institute" %type = "Thesis" %address = "100 Institute Road, Worcester MA 01609-2280 USA" year = "2020" %month = "May" }