8 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
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…