Pierluigi Nuzzo

University of Southern California, University of Maryland, College Park, Southern California University for Professional Studies, University of California, Berkeley

Papers

13

Total Citations

222

H-Index

7

About

No biography available yet.

Research Focus

Computer science13 · 222 citations
Mathematics8 · 202 citations
Mathematical optimization8 · 202 citations
Satisfiability4 · 171 citations
Theoretical computer science6 · 148 citations
Discrete mathematics3 · 139 citations
Modulo3 · 139 citations
Artificial intelligence6 · 105 citations
Motion planning5 · 104 citations
Robot5 · 104 citations
Boolean satisfiability problem2 · 91 citations
Satisfiability modulo theories2 · 91 citations

Key Achievements

7
H-Index
13
Papers
222
Total Citations
17
Avg Citations/Paper
🏆 Most Cited Paper
SMC: Satisfiability Modulo Convex Programming
49 citations · 2018
📈 Most Prolific Year: 2017 (2 Papers)
🤝 Key Collaborators: 22
🏛 Institutions: University of Southern California, University of Maryland, College Park, Southern California University for Professional Studies, University of California, Berkeley

Top Papers

  1. 1
    SMC: Satisfiability Modulo Convex Programming
    49 citations · 2018
  2. 2
    Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming
    48 citations · 2017
  3. 3
    SMC
    42 citations · 2017
  4. 4
    Scalable lazy SMT-based motion planning
    32 citations · 2016
  5. 5
    Model-Free Reinforcement Learning for Optimal Control of Markov Decision Processes Under Signal Temporal Logic Specifications
    11 citations · 2021
  6. 6
    Optimal Control of Discounted-Reward Markov Decision Processes Under Linear Temporal Logic Specifications
    8 citations · 2021
  7. 7
    DoS-Resilient Multi-Robot Temporal Logic Motion Planning
    8 citations · 2019
  8. 8
    CROME: Contract-Based Robotic Mission Specification
    7 citations · 2020
  9. 9
    Contract-Based Specification Refinement and Repair for Mission Planning
    5 citations · 2023
  10. 10
    Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads
    5 citations · 2023

Key Collaborators

YSYasser Shoukry5 shared papersASAlberto Sangiovanni‐Vincentelli5 shared papersGJGeorge J. Pappas4 shared papersSASanjit A. Seshia4 shared papersPTPaulo Tabuada4 shared papersKCKrishna C. Kalagarla3 shared papersRJRahul Jain3 shared papersPMPiergiuseppe Mallozzi2 shared papersISIndranil Saha2 shared papersMLMichele Lora2 shared papersRNRohitkrishna Nambiar1 shared papersSKSven Koenig1 shared papersABAyça Balkan1 shared papersCOChanwook Oh1 shared papersPPPatrizio Pelliccione1 shared papersXSXiaowu Sun1 shared papersCLChristopher Leet1 shared papersNVNikhil Vijay Naik1 shared papersMMMatthew Melhorn1 shared papersAPAlessandro Pinto1 shared papers
Not generated yet