Autonomy Protocols - From Human Behavioral Modeling to Correct-By-Construction, Scalable Control Download pdf Tags: The University of Texas at Austin University of Pennsylvania Control Modeling Education Foundations Validation and Verification National CPS PI Meeting 2014 2014 Poster CPSPI MTG 2014 Posters, Videos and Abstracts Correct-by-Construction License: CC-2.5 Submitted by Behcet Acikmese on Thu, 11/06/2014 - 14:02