Receding Horizon Temporal Logic Planning 论文

2012IEEE Transactions on Automatic Control引用 301

Formal Methods in VerificationModel-Driven Software Engineering TechniquesReal-Time Systems Scheduling

企业软件 Model-Driven Software Engineering Techniques Formal Methods in Verification Real-Time Systems Scheduling

相关技术:Formal Methods in Verification Model-Driven Software Engineering Techniques

Receding Horizon Temporal Logic Planning · 作者

Richard M. Murray

Ufuk Topcu

Tichakorn Wongpiromsarn