80-616 Formal Methods: Decisions and Games

6 units, Carnegie Mellon University

The formal methods seminar series introduces a variety of formal structures that have broad applicability to issues of philosophical interest. This mini focuses on decision theory and game theory.

Prerequisites: none listed

Offered: Fall 2025

CMU Courses needs JavaScript to show sections, schedules and planning tools.