Using Formal Methods to Engineer Safe, Secure, and Resilient Human-Interactive Systems

  • University at Buffalo
  • Reliable Autonomy for Human-Cyber-Physical Systems
Submitted by Matthew Bolton on