Improving DeFi Mechanisms with Dynamic Games and Optimal Control: A Case Study in Stablecoins [2410.21446]