Formal AI

Formal Specifications of Agent Goals for Reinforcement Learning - leveraging formal methods to ensure correct specifications without undesirable side effects

FA

Latest activities
Space members (1)
Profile picture of Dermot Cochran