Functional verification of cyber-physical systems containing machine-learnt components

Farzaneh Moradkhani, Martin Fränzle. Functional verification of cyber-physical systems containing machine-learnt components. it - Information Technology, 63(5-6):277-287, 2021. [doi]

Abstract

Abstract is missing.