A tutorial at KR-2021

KR&R Meets Cyber-Physical Systems: Formalization, Behavior, Trustworthiness

by Marcello Balduccini, Edward Griffor, and Tran Cao Son