Formal Certification of Surrogate Models for Cyber-Physical Systems Verification.

Marco Esposito Leonardo Picchiami

Published in: OVERLAY@AI*IA (2022)

Keyphrases

cyber physical systems
cyber physical
physical world
model checking
cyber security
real time
embedded systems
decision support system
critical infrastructure