2 papers
math.OC2026
Best Response Dynamics for Zero-Sum Dynamic Games with Partial-Asymmetric Information
Yuxiang Guan, Iman Shames, Tyler H. Summers
This work studies a class of zero-sum stochastic linear quadratic dynamic games (LQDGs) under partial and asymmetric information. Information asymmetry introduces fundamental chall…
math.OC2026
Foundations of Machine-Checked Control Theory in Lean
Moritz Doll, Iman Shames
We introduce an open-source library for machine-checked control theory in the interactive proof assistant Lean to lay foundations for the verification of cyber-physical systems. To…