Compositional policy learning in stochastic control systems with formal guarantees

• المؤلفون الرئيسيون: ZIKELIC, Dorde, LECHNER, Mathias, Verma, Abhinav, CHATTERJEE, Krishnendu, HENZINGER, Thomas A.
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2024
• الموضوعات: Verification; Compositional learning; Databases and Information Systems; Programming Languages and Compilers
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/9031; https://ink.library.smu.edu.sg/context/sis_research/article/10034/viewcontent/13726_compositional_policy_learning_.pdf

Reinforcement learning has shown promising results in learning neural network policies for complicated control tasks. However, the lack of formal guarantees about the behavior of such policies remains an impediment to their deployment. We propose a novel method for learning a composition of neural n...