Game Theory Meets AI: A Logical and Mathematical Approach to Verifying Multi-Agent Systems

Date: November 21, 2023