论文记录 · 证据边界公开

Context-Triggered Robust MPC for Temporal Logic Specifications

arXiv (v1 2026-07-01) · 2026-07-01 · 上下文触发 LTL 的开关式鲁棒 MPC vs Lyapunov/证书类综合

论文元数据

作者
Arash Bahari Kordabad、Satya Prakash Nayak、Sadegh Soudjani、Anne-Kathrin Schmuck
机构
机构尚未补齐
发布日期精度
日
研究方向
上下文触发 LTL 的开关式鲁棒 MPC vs Lyapunov/证书类综合
机器人
机器人导航仿真示例（静态/动态环境；未点名具体平台）
DOI
未披露
arXiv
2607.01515
引用元数据
0
记录状态
included
质量检查
无自动质量红旗