Ellipsoidal Techniques for Reachability Analysis 论文

2000Lecture notes in computer science引用 458

Formal Methods in VerificationRobotic Path Planning AlgorithmsAdvanced Control Systems Optimization

机器人 Advanced Control Systems Optimization Robotic Path Planning Algorithms Formal Methods in Verification

相关技术:Advanced Control Systems Optimization Formal Methods in Verification Robotic Path Planning Algorithms

2

作者

3

相关技术

0

相关事件

0

相关文章

详细信息

发表期刊/会议: Lecture notes in computer science
发表日期: 2000-01-01
发表年份: 2000

关键词

Formal Methods in VerificationRobotic Path Planning AlgorithmsAdvanced Control Systems Optimization

作者查看全部 (2)

Pravin Varaiya

Alexander B. Kurzhanski

相关技术查看全部 (3)

Advanced Control Systems Optimization Formal Methods in Verification Robotic Path Planning Algorithms

相关事件

暂无数据

相关文章

暂无数据