Moshe Y. Vardi

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   Sampling-based motion planning with temporal goals

   243 次引用 · 2010
2. 2
   Motion Planning with Complex Goals

   121 次引用 · 2011
3. 3
   Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees

   94 次引用 · 2016
4. 4
   Towards manipulation planning with temporal logic specifications

   94 次引用 · 2015
5. 5
   Iterative temporal motion planning for hybrid systems in partially unknown environments

   81 次引用 · 2013
6. 6
   Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning

   73 次引用 · 2007
7. 7
   Hybrid systems: from verification to falsification by combining motion planning and discrete search

   60 次引用 · 2008
8. 8
   Motion planning with hybrid dynamics and temporal goals

   55 次引用 · 2010
9. 9
   This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction

   55 次引用 · 2015
10. 10
    Falsification of LTL Safety Properties in Hybrid Systems

    54 次引用 · 2009

主要合作者