Temporal logic motion planning for dynamic robots 论文

2008Automatica引用 460

Formal Methods in VerificationRobotic Path Planning AlgorithmsModel-Driven Software Engineering Techniques

机器人 Model-Driven Software Engineering Techniques Robotic Path Planning Algorithms Formal Methods in Verification

相关技术:Formal Methods in Verification Model-Driven Software Engineering Techniques Robotic Path Planning Algorithms

4

作者

3

相关技术

0

相关事件

0

相关文章

作者查看全部 (4)

George J. Pappas

Hadas Kress‐Gazit

Antoine Girard

Georgios Fainekos

相关技术查看全部 (3)

Formal Methods in Verification Model-Driven Software Engineering Techniques Robotic Path Planning Algorithms

相关事件

暂无数据

相关文章

暂无数据