Learning safe neural network controllers with barrier certificates - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001, Jim Woodcock. Learning safe neural network controllers with barrier certificates. Formal Asp. Comput., 33(3):437-455, 2021. [doi]

This author has not been identified. Look up 'Hengjun Zhao' in GoogleThis author has not been identified. Look up 'Xia Zeng' in GoogleThis author has not been identified. Look up 'Taolue Chen' in GoogleThis author has not been identified. Look up 'Zhiming Liu 0001' in GoogleThis author has not been identified. Look up 'Jim Woodcock' in Google

runs on WebDSL