Georgios Fainekos 人物
相关论文查看全部 (7)
Temporal-Logic-Based Reactive Mission and Motion Planning
2009IEEE Transactions on Robotics引用 750
Robustness of temporal logic specifications for continuous-time signals
2009Theoretical Computer Science引用 591
Temporal logic motion planning for dynamic robots
2008Automatica引用 460
S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
2011Lecture notes in computer science引用 435
相关公司查看全部 (2)
Arizona State UniversityUNIVERSITY
University of PennsylvaniaUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据