Autonomy Protocols - From Human Behavioral Modeling to Correct-By-Construction, Scalable Control

  • 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
Submitted by Behcet Acikmese on