arXiv preprint / math.OC

Foundations of Machine-Checked Control Theory in Lean

作者：Moritz Doll, Iman Shames · 单位：Department of Electrical and Electronic Engineering, University of Melbourne · 会议/期刊：arXiv preprint · 方向：math.OC · 发布日期：2026-07-23

2026-07-23规划控制学习理论
新标签打开 AlphaXiv新标签打开 Project
Foundations of Machine-Checked Control Theory in Lean figure
AlphaXiv 中文概览（可滚动查看）