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]

Authors

Farzaneh Moradkhani

This author has not been identified. Look up 'Farzaneh Moradkhani' in Google

Martin Fränzle

This author has not been identified. Look up 'Martin Fränzle' in Google