What Does It Take to Get Guarantees? Systematizing Assumptions in Cyber-Physical Systems

Chengyu Li, Saleh Faghfoorian, Ivan Ruchkin

Formal guarantees for cyber-physical systems (CPS) rely on diverse assumptions. If satisfied, these assumptions enable the transfer of abstract guarantees into real-world assurance…