Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it Explore the intersection of multi-agent systems and finite-horizon goals in formal verification through this 45-minute lecture by Senthil Rajasekaran from Rice University. Delve into complexity-theoretic results that illuminate the driving forces behind multi-agent interactions in game theory and distributed systems analysis. Examine interesting use cases and interactions arising from finite-horizon goals, and investigate the crucial problem of representation in multi-agent systems. Gain insights into recent trends in formal verification and their mathematical implications for system design and analysis.