compositional-verification

Verifiable and Compositional Reinforcement Learning Systems

However, there remain significant barriers to their deploy- ment in safety-critical engineering applications. Autonomous We propose a framework for verifiable and compositional vehicles, manufacturing robotics, and power systems manage- reinforcement learning (RL) in which a coll...

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems

In this paper, we present the first MA shielding approach that is Deep reinforcement learning has emerged as a powerful tool for truly compositional, does not require online communication, and obtaining high-performance policies. However, the safety of these provides absolute saf...