Moshe Y. Vardi

Rice University

Papers

30

Total Citations

1,269

H-Index

17

About

No biography available yet.

Research Focus

Computer science30 · 1,269 citations
Artificial intelligence27 · 1,206 citations
Robot21 · 1,130 citations
Motion planning10 · 677 citations
Theoretical computer science17 · 672 citations
Motion (physics)8 · 608 citations
Algorithm12 · 541 citations
Engineering10 · 517 citations
Temporal logic9 · 461 citations
Mathematics12 · 443 citations
Planner9 · 423 citations
Linear temporal logic9 · 396 citations

Key Achievements

17
H-Index
30
Papers
1,269
Total Citations
42
Avg Citations/Paper
🏆 Most Cited Paper
Sampling-based motion planning with temporal goals
243 citations · 2010
📈 Most Prolific Year: 2022 (4 Papers)
🤝 Key Collaborators: 21
🏛 Institutions: Rice University

Top Papers

  1. 1
    Sampling-based motion planning with temporal goals
    243 citations · 2010
  2. 2
    Motion Planning with Complex Goals
    121 citations · 2011
  3. 3
    Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees
    94 citations · 2016
  4. 4
    Towards manipulation planning with temporal logic specifications
    94 citations · 2015
  5. 5
    Iterative temporal motion planning for hybrid systems in partially unknown environments
    81 citations · 2013
  6. 6
    Discrete Search Leading Continuous Exploration for Kinodynamic Motion Planning
    73 citations · 2007
  7. 7
    Hybrid systems: from verification to falsification by combining motion planning and discrete search
    60 citations · 2008
  8. 8
    Motion planning with hybrid dynamics and temporal goals
    55 citations · 2010
  9. 9
    This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction
    55 citations · 2015
  10. 10
    Falsification of LTL Safety Properties in Hybrid Systems
    54 citations · 2009

Key Collaborators

LELydia E. Kavraki24 shared papersMLMorteza Lahijanian8 shared papersEPErion Plaku8 shared papersKHKeliang He4 shared papersABAmit Bhatia3 shared papersKEKhen Elimelech3 shared papersMRMatthew R. Maly3 shared papersHKHadas Kress‐Gazit2 shared papersDFDror Fried2 shared papersJLJianwen Li2 shared papersAMAndrew M. Wells2 shared papersKYKristin Yvonne Rozier2 shared papersZKZachary Kingston1 shared papersLMLucas M. Tabajara1 shared papersSRSasha Rubin1 shared papersNFNathanaël Fijalkow1 shared papersBMBastien Maubert1 shared papersSBSuguman Bansal1 shared papersSAShaull Almagor1 shared papersMTMartin T. Wells1 shared papers
Not generated yet