Using Formal Methods to Engineer Safe, Secure, and Resilient Human-Interactive Systems Download pdf Tags: University at Buffalo Reliable Autonomy for Human-Cyber-Physical Systems License: CC-2.5 Submitted by Matthew Bolton on Mon, 11/27/2017 - 18:28