Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.

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

Browse the full AAAI paper archive.