Vol-3310⫷ Vol-3311 ⫸Vol-3312
urn:nbn:de:0074-3311-0


Vol-3311/paper10⫷Vol-3311/paper11⫸Vol-3311/paper12
Marco EspositoLeonardo Picchiami

Formal Certification of Surrogate Models for Cyber-Physical Systems Verification