Pierluigi Nuzzo

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   SMC: Satisfiability Modulo Convex Programming

   49 次引用 · 2018
2. 2
   Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming

   48 次引用 · 2017
3. 3
   SMC

   42 次引用 · 2017
4. 4
   Scalable lazy SMT-based motion planning

   32 次引用 · 2016
5. 5
   Model-Free Reinforcement Learning for Optimal Control of Markov Decision Processes Under Signal Temporal Logic Specifications

   11 次引用 · 2021
6. 6
   Optimal Control of Discounted-Reward Markov Decision Processes Under Linear Temporal Logic Specifications

   8 次引用 · 2021
7. 7
   DoS-Resilient Multi-Robot Temporal Logic Motion Planning

   8 次引用 · 2019
8. 8
   CROME: Contract-Based Robotic Mission Specification

   7 次引用 · 2020
9. 9
   Contract-Based Specification Refinement and Repair for Mission Planning

   5 次引用 · 2023
10. 10
    Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads

    5 次引用 · 2023

主要合作者