Extending Attack-Fault Trees with Runtime Verification

Funding Information: *Part of Cardoso’s and Fisher’s work was supported by The Royal Academy of Engineering under the Chair in Emerging Technologies scheme and by EPSRC under project EP/V026801 (Trustworthy Autonomous Systems “Verifiability Node”).Peer reviewedPublisher PD