A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic. A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems. In Sriram Sankaranarayanan 0001, Natasha Sharygina, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I. Volume 13993 of Lecture Notes in Computer Science, pages 3-25, Springer, 2023. [doi]

This author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Mathias Lechner' in GoogleThis author has not been identified. Look up 'Dorde Zikelic' in Google

runs on WebDSL