Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
