Duvva, Vikas (2025) Self-Organizing Cybersecurity Systems with Formal Verification Constraints using Multi-Agent Reinforcement Learning. Masters thesis, Dublin, National College of Ireland.