Massachusetts Institute of Technology, Cambridge, MA, USA; Institute of Science and Technology Austria (ISTA), Klosterneuburg, Austria; The Pennsylvania State University, University Park, PA, USA
Đorđe Žikelić, Đorđe Žikelić, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, Thomas Henzinger
Verification;Compositional learning
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees