Compositional policy learning in stochastic control systems with formal guarantees

• Main Authors: 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...