Louise A. Dennis

• Engineering Multi-Agent Systems
• Verifiable Autonomous Systems