A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.

Krishnendu Chatterjee, Thomas A. Henzinger, Mathias Lechner, Dorde Zikelic

Browse the full TACAS paper archive.