Verifiable Reinforcement Learning Systems via Compositionality

Cyrus Neary, Aryaman Singh Samyal, Christos Verginis +2

We propose a framework for verifiable and compositional reinforcement learning (RL) in which a collection of RL subsystems, each of which learns to accomplish a separate subtask, a…