Pierluigi Nuzzo
University of Southern California
H-index: 31
North America-United States
Top articles of Pierluigi Nuzzo
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Analyzing Adversarial Vulnerabilities of Graph Lottery Tickets | Subhajit Dutta Chowdhury Zhiyu Ni Qingyuan Peng Souvik Kundu Pierluigi Nuzzo | 2024/4/14 | |
DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks | arXiv preprint arXiv:2403.01789 | Yinghua Hu Kaixin Yang Subhajit Dutta Chowdhury Pierluigi Nuzzo | 2024/3/4 |
Provably Safe Design Methodology for Automatic Longitudinal Control of Autonomous Vehicles | IEEE Transactions on Intelligent Vehicles | Muhammad Waqas Pierluigi Nuzzo Petros Ioannou | 2024/1/29 |
Regret Analysis of the Posterior Sampling-based Learning Algorithm for Episodic POMDPs | arXiv preprint arXiv:2310.10107 | Dengwang Tang Rahul Jain Ashutosh Nayyar Pierluigi Nuzzo | 2023/10/16 |
Similarity-Based Logic Locking Against Machine Learning Attacks | arXiv preprint arXiv:2305.05870 | Subhajit Dutta Chowdhury Kaixin Yang Pierluigi Nuzzo | 2023/5/10 |
Efficient encodings for scalable exploration of cyber-physical system architectures | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Dmitrii Kirov Pierluigi Nuzzo Alberto Sangiovanni-Vincentelli Roberto Passerone | 2023/8/22 |
Finding Adversarially Robust Graph Lottery Tickets | Subhajit Dutta Chowdhury Zhiyu Ni Qingyuan Peng Souvik Kundu Pierluigi Nuzzo | 2023/10/13 | |
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses | Christopher Leet Chanwook Oh Michele Lora Sven Koenig Pierluigi Nuzzo | 2023/4/17 | |
SimLL: Similarity-Based Logic Locking Against Machine Learning Attacks | Subhajit Dutta Chowdhury Kaixin Yang Pierluigi Nuzzo | 2023/7/9 | |
Computer-Aided Evaluation for Argument-Based Certification | Zamira Daw Timothy Wang Chanwook Oh Matthew Low Isaac Amundson | 2023/10/1 | |
Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP | Dake Chen Xuan Zhou Yinghua Hu Yuke Zhang Kaixin Yang | 2023/4/5 | |
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts | arXiv preprint arXiv:2306.08144 | Piergiuseppe Mallozzi Nir Piterman Pierluigi Nuzzo Gerardo Schneider Patrizio Pelliccione | 2023/6/13 |
Aace: Automated assurance case environment for aerospace certification | Zamira Daw Chanwook Oh Matthew Low Timothy Wang Isaac Amundson | 2023/10/1 | |
On the Security of Sequential Logic Locking Against Oracle-Guided Attacks | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Yinghua Hu Yuke Zhang Kaixin Yang Dake Chen Peter A Beerel | 2023/3/7 |
Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers | Kevin Chang Nathan Dahlin Rahul Jain Pierluigi Nuzzo | 2023/12/13 | |
Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes | arXiv preprint arXiv:2305.14736 | Krishna C Kalagarla Dhruva Kartik Dongming Shen Rahul Jain Ashutosh Nayyar | 2023/5/24 |
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads | Christopher Leet Chanwook Oh Michele Lora Sven Koenig Pierluigi Nuzzo | 2023/10/1 | |
Sparse but Strong: Crafting Adversarially Robust Graph Lottery Tickets | arXiv preprint arXiv:2312.06568 | Subhajit Dutta Chowdhury Zhiyu Ni Qingyuan Peng Souvik Kundu Pierluigi Nuzzo | 2023/12/11 |
Safe posterior sampling for constrained MDPs with bounded constraint violation | Kalagarla C Kalagarla Rahul Jain Pierluigi Nuzzo | 2023/12 | |
Contract-based specification refinement and repair for mission planning | Piergiuseppe Mallozzi Inigo Incer Pierluigi Nuzzo Alberto Sangiovanni-Vincentelli | 2023/5/14 |