Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Esen Yel, Taylor J. Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo. Assured Runtime Monitoring and Planning: Toward Verification of Neural Networks for Safe Autonomous Operations. IEEE Robot. Automat. Mag., 27(2):102-116, 2020. [doi]

This author has not been identified. Look up 'Esen Yel' in GoogleThis author has not been identified. Look up 'Taylor J. Carpenter' in GoogleThis author has not been identified. Look up 'Carmelo Di Franco' in GoogleThis author has not been identified. Look up 'Radoslav Ivanov' in GoogleThis author has not been identified. Look up 'Yiannis Kantaros' in GoogleThis author has not been identified. Look up 'Insup Lee' in GoogleThis author has not been identified. Look up 'James Weimer' in GoogleThis author has not been identified. Look up 'Nicola Bezzo' in Google

runs on WebDSL