Safety Verification of Neural Network Controlled Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti. Safety Verification of Neural Network Controlled Systems. In 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2021, Taipei, Taiwan, June 21-24, 2021. pages 47-54, IEEE, 2021. [doi]

This author has not been identified. Look up 'Arthur Clavière' in GoogleThis author has not been identified. Look up 'Eric Asselin' in GoogleThis author has not been identified. Look up 'Christophe Garion' in GoogleThis author has not been identified. Look up 'Claire Pagetti' in Google

runs on WebDSL