Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.

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

Browse the full AAAI paper archive.