Theoretical Foundations

Research on mathematical models, formal verification, game theory applications, and economic mechanism design.

Research Documents