Contract-based system-level composition of analog circuits. - Xuening Sun; Pierluigi Nuzzo 002; Chang-Ching Wu; Alberto L. Sangiovanni-Vincentelli (DAC, 2009)

CalCS: SMT solving for non-linear convex constraints. - Pierluigi Nuzzo 002; Alberto Puggelli; Sanjit A. Seshia; Alberto L. Sangiovanni-Vincentelli (FMCAD, 2010)

Robustness in analog systems: Design techniques, methodologies and tools. - Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli (SIES, 2011)

A 6-Bit 50-MS/s Threshold Configuring SAR ADC in 90-nm Digital CMOS. - Pierluigi Nuzzo 002; Claudio Nani; Costantino Armiento; Alberto L. Sangiovanni-Vincentelli; Jan Craninckx; Geert Van der Plas (IEEE Trans. Circuits Syst. I Regul. Pap., 2012)

Optimal load management system for Aircraft Electric Power distribution. - Mehdi Maasoumy; Pierluigi Nuzzo 002; Forrest N. Iandola; Maryam Kamgarpour; Alberto L. Sangiovanni-Vincentelli; Claire J. Tomlin (CDC, 2013)

Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems. - Pierluigi Nuzzo 002; John B. Finn; Mohammad Mostafizur Rahman Mozumdar; Alberto L. Sangiovanni-Vincentelli (CoRR, 2013)

Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. - Liangpeng Guo; Qi Zhu 002; Pierluigi Nuzzo 002; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli; Edward A. Lee (CODES+ISSS, 2014)

Library-based scalable refinement checking for contract-based design. - Antonio Iannopollo; Pierluigi Nuzzo 002; Stavros Tripakis; Alberto L. Sangiovanni-Vincentelli (DATE, 2014)

Contract-based design of control protocols for safety-critical cyber-physical systems. - Pierluigi Nuzzo 002; John B. Finn; Antonio Iannopollo; Alberto L. Sangiovanni-Vincentelli (DATE, 2014)

Let's Get Physical: Computer Science Meets Systems. - Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli (FPS@ETAPS, 2014)

Are interface theories equivalent to contract theories? - Pierluigi Nuzzo 002; Antonio Iannopollo; Stavros Tripakis; Alberto L. Sangiovanni-Vincentelli (MEMOCODE, 2014)

A Contract-Based Methodology for Aircraft Electric Power System Design. - Pierluigi Nuzzo 002; Huan Xu; Necmiye Ozay; John B. Finn; Alberto L. Sangiovanni-Vincentelli; Richard M. Murray; Alexandre Donzé; Sanjit A. Seshia (IEEE Access, 2014)

Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. - Yasser Shoukry; Pierluigi Nuzzo 002; Alberto Puggelli; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (CoRR, 2014)

Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. - Yasser Shoukry; Alberto Puggelli; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (ACC, 2015)

Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving. - Yasser Shoukry; Pierluigi Nuzzo 002; Nicola Bezzo; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (CDC, 2015)

Optimized selection of reliable and cost-effective cyber-physical system architectures. - Nikunj Bajaj; Pierluigi Nuzzo 002; Michael Masin; Alberto L. Sangiovanni-Vincentelli (DATE, 2015)

A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration. - John B. Finn; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli (ICCAD, 2015)

A Contract-based Framework for Integrated Demand Response Management in Smart Grids. - Baihong Jin; Pierluigi Nuzzo 002; Mehdi Maasoumy; Yuxun Zhou; Alberto L. Sangiovanni-Vincentelli (BuildSys, 2015)

A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. - Yasser Shoukry; Pierluigi Nuzzo 002; Nicola Bezzo; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (CoRR, 2015)

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems. - Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Davide Bresolin; Luca Geretti; Tiziano Villa (Proc. IEEE, 2015)

Compositional Design of Cyber-Physical Systems Using Contracts. - Pierluigi Nuzzo 002 (2015)

Scalable lazy SMT-based motion planning. - Yasser Shoukry; Pierluigi Nuzzo 002; Indranil Saha; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (CDC, 2016)

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. - Shromona Ghosh; Dorsa Sadigh; Pierluigi Nuzzo 002; Vasumathi Raman; Alexandre Donzé; Alberto L. Sangiovanni-Vincentelli; S. Shankar Sastry; Sanjit A. Seshia (HSCC, 2016)

Online computation of polytopic flexibility models for demand shifting applications. - Baihong Jin; Mehdi Maasoumy; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli (CASE, 2017)

Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. - Yasser Shoukry; Pierluigi Nuzzo 002; Ayca Balkan; Indranil Saha; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (CDC, 2017)

ArchEx: An Extensible Framework for the Exploration of Cyber-Physical System Architectures. - Dmitrii Kirov; Pierluigi Nuzzo 002; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli (DAC, 2017)

Optimized Design of a Human Intranet Network. - Ali Moin; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Jan M. Rabaey (DAC, 2017)

SMC: Satisfiability Modulo Convex Optimization. - Yasser Shoukry; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (HSCC, 2017)

Stochastic contracts for cyber-physical system design under probabilistic requirements. - Jiwei Li; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Yugeng Xi 001; Dewei Li 001 (MEMOCODE, 2017)

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements. - Jiwei Li; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Yugeng Xi 001; Dewei Li 001 (CoRR, 2017)

Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. - Yasser Shoukry; Pierluigi Nuzzo 002; Alberto Puggelli; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; Paulo Tabuada (IEEE Trans. Autom. Control., 2017)

Hierarchical System Design with Vertical Contracts. - Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli (Principles of Modeling, 2018)

Optimized selection of wireless network topologies and components via efficient pruning of feasible paths. - Dmitrii Kirov; Pierluigi Nuzzo 002; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli (DAC, 2018)

CHASE: Contract-based requirement engineering for cyber-physical system design. - Pierluigi Nuzzo 002; Michele Lora; Yishai A. Feldman; Alberto L. Sangiovanni-Vincentelli (DATE, 2018)

Design Automation for Smart Building Systems. - Ruoxi Jia 001; Baihong Jin; Ming Jin 002; Yuxun Zhou; Ioannis C. Konstantakopoulos; Han Zou; Joyce Kim; Dan Li 016; Weixi Gu; Reza Arghandeh; Pierluigi Nuzzo 002; Stefano Schiavon; et al. (Proc. IEEE, 2018)

SMC: Satisfiability Modulo Convex Programming. - Yasser Shoukry; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; George J. Pappas; Paulo Tabuada (Proc. IEEE, 2018)

SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. - Yasser Shoukry; Michelle Chong; Masashi Wakaiki; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Sanjit A. Seshia; João Pedro Hespanha; Paulo Tabuada (ACM Trans. Cyber Phys. Syst., 2018)

Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations. - Arash Fayyazi; Soheil Shababi; Pierluigi Nuzzo 002; Shahin Nazarian; Massoud Pedram (DATE, 2019)

Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design. - Chanwook Oh; Eunsuk Kang; Shinichi Shiraishi; Pierluigi Nuzzo 002 (DATE, 2019)

DoS-Resilient Multi-Robot Temporal Logic Motion Planning. - Xiaowu Sun; Rohitkrishna Nambiar; Matthew Melhorn; Yasser Shoukry; Pierluigi Nuzzo 002 (ICRA, 2019)

Secure and Trustworthy Cyber-Physical System Design: A Cross-Layer Perspective. - Pierluigi Nuzzo 002 (ISPD, 2019)

Session details: Lifetime Achievement Award Tribute to Professor Alberto Sangiovanni-Vicentelli. - Pierluigi Nuzzo 002 (ISPD, 2019)

From Electronic Design Automation to Cyber-Physical System Design Automation: A Tale of Platforms and Contracts. - Pierluigi Nuzzo 002 (ISPD, 2019)

Security-driven metrics and models for efficient evaluation of logic encryption schemes. - Yinghua Hu; Vivek V. Menon; Andrew G. Schmidt; Joshua S. Monson; Matthew French; Pierluigi Nuzzo 002 (MEMOCODE, 2019)

System-Level Framework for Logic Obfuscation with Quantified Metrics for Evaluation. - Vivek V. Menon; Gaurav Kolhe; Andrew G. Schmidt; Joshua S. Monson; Matthew French; Yinghua Hu; Peter A. Beerel; Pierluigi Nuzzo 002 (SecDev, 2019)

Toward Efficient Evaluation of Logic Encryption Schemes: Models and Metrics. - Yinghua Hu; Vivek V. Menon; Andrew G. Schmidt; Joshua S. Monson; Matthew French; Pierluigi Nuzzo 002 (CoRR, 2019)

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design. - Pierluigi Nuzzo 002; Jiwei Li; Alberto L. Sangiovanni-Vincentelli; Yugeng Xi 001; Dewei Li 001 (ACM Trans. Embed. Comput. Syst., 2019)

CROME: Contract-Based Robotic Mission Specification. - Piergiuseppe Mallozzi; Pierluigi Nuzzo 002; Patrizio Pelliccione; Gerardo Schneider (MEMOCODE, 2020)

Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems. - Nikhil Naik 001; Pierluigi Nuzzo 002 (MEMOCODE, 2020)

SANSCrypt: A Sporadic-Authentication-Based Sequential Logic Encryption Scheme. - Yinghua Hu; Kaixin Yang; Shahin Nazarian; Pierluigi Nuzzo 002 (VLSI-SOC, 2020)

SANSCrypt: Sporadic-Authentication-Based Sequential Logic Encryption. - Yinghua Hu; Kaixin Yang; Shahin Nazarian; Pierluigi Nuzzo 002 (VLSI-SoC (Selected Papers), 2020)

Designing Interpretable Approximations to Deep Reinforcement Learning with Soft Decision Trees. - Nathan Dahlin; Krishna Chaitanya Kalagarla; Nikhil Naik 001; Rahul Jain 002; Pierluigi Nuzzo 002 (CoRR, 2020)

Synthesis of Discounted-Reward Optimal Policies for Markov Decision Processes Under Linear Temporal Logic Specifications. - Krishna Chaitanya Kalagarla; Rahul Jain 002; Pierluigi Nuzzo 002 (CoRR, 2020)

Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures. - Pierluigi Nuzzo 002; Nikunj Bajaj; Michael Masin; Dmitrii Kirov; Roberto Passerone; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints. - Krishna Chaitanya Kalagarla; Rahul Jain 002; Pierluigi Nuzzo 002 (AAAI, 2021)

Optimal Control of Discounted-Reward Markov Decision Processes Under Linear Temporal Logic Specifications. - Krishna Chaitanya Kalagarla; Rahul Jain 002; Pierluigi Nuzzo 002 (ACC, 2021)

Model-Free Reinforcement Learning for Optimal Control of Markov Decision Processes Under Signal Temporal Logic Specifications. - Krishna Chaitanya Kalagarla; Rahul Jain 002; Pierluigi Nuzzo 002 (CDC, 2021)

Risk-Aware Cost-Effective Design Methodology for Integrated Circuit Locking. - Yinghua Hu; Kaixin Yang; Subhajit Dutta Chowdhury; Pierluigi Nuzzo 002 (DATE, 2021)

Incremental Refinement of Goal Models with Contracts. - Piergiuseppe Mallozzi; Pierluigi Nuzzo 002; Patrizio Pelliccione (FSEN, 2021)

Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption. - Yinghua Hu; Yuke Zhang; Kaixin Yang; Dake Chen; Peter A. Beerel; Pierluigi Nuzzo 002 (HOST, 2021)

ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering. - Subhajit Dutta Chowdhury; Kaixin Yang; Pierluigi Nuzzo 002 (ICCAD, 2021)

Enhancing SAT-Attack Resiliency and Cost-Effectiveness of Reconfigurable-Logic-Based Circuit Obfuscation. - Subhajit Dutta Chowdhury; Gengyu Zhang; Yinghua Hu; Pierluigi Nuzzo 002 (ISCAS, 2021)

Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications. - Krishna Chaitanya Kalagarla; Rahul Jain 002; Pierluigi Nuzzo 002 (CoRR, 2021)

Practical Control Design for the Deep Learning Age: Distillation of Deep RL-Based Controllers. - Nathan Dahlin; Kevin Chang 007; Krishna Chaitanya Kalagarla; Rahul Jain 002; Pierluigi Nuzzo 002 (Allerton, 2022)

Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints. - Muhammad Waqas; Muhammad Ali Murtaza; Pierluigi Nuzzo 002; Petros A. Ioannou (ACC, 2022)

Contract-Based Control Synthesis with Barrier Functions for Vehicular Mission Planning. - Muhammad Waqas; Nikhil Vijay Naik 001; Petros A. Ioannou; Pierluigi Nuzzo 002 (CDC, 2022)

TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks. - Yuke Zhang; Yinghua Hu; Pierluigi Nuzzo 002; Peter A. Beerel (DATE, 2022)

Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts. - Chanwook Oh; Michele Lora; Pierluigi Nuzzo 002 (ICCAD, 2022)

A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems. - Michele Lora; Pierluigi Nuzzo 002 (ICCPS, 2022)

Hierarchical Contract-Based Synthesis for Assurance Cases. - Timothy E. Wang; Zamira Daw; Pierluigi Nuzzo 002; Alessandro Pinto (NFM, 2022)

ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. - Chanwook Oh; Nikhil Naik 001; Zamira Daw; Timothy E. Wang; Pierluigi Nuzzo 002 (SAFECOMP, 2022)

Optimal control of partially observable Markov decision processes with finite linear temporal logic constraints. - Krishna Chaitanya Kalagarla; Dhruva Kartik; Dongming Shen; Rahul Jain 002; Ashutosh Nayyar; Pierluigi Nuzzo 002 (UAI, 2022)

Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications. - Muhammad Waqas; Nikhil Vijay Naik 001; Petros A. Ioannou; Pierluigi Nuzzo 002 (CoRR, 2022)

Special issue: Formal verification of cyber-physical systems. - Luca Geretti; Alessandro Abate; Pierluigi Nuzzo 002; Tiziano Villa (Inf. Comput., 2022)

Towards a Formal Treatment of Logic Locking. - Peter A. Beerel; Marios Georgiou 001; Ben Hamlin; Alex J. Malozemoff; Pierluigi Nuzzo 002 (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022)

Exact and Cost-Effective Automated Transformation of Neural Network Controllers to Decision Tree Controllers. - Kevin Chang 007; Nathan Dahlin; Rahul Jain 002; Pierluigi Nuzzo 002 (CDC, 2023)

SimLL: Similarity-Based Logic Locking Against Machine Learning Attacks. - Subhajit Dutta Chowdhury; Kaixin Yang; Pierluigi Nuzzo 002 (DAC, 2023)

Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses. - Christopher Leet; Chanwook Oh; Michele Lora; Sven Koenig; Pierluigi Nuzzo 002 (DATE, 2023)

Contract-Based Specification Refinement and Repair for Mission Planning. - Piergiuseppe Mallozzi; Inigo Incer; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli (FormaliSE, 2023)

Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads. - Christopher Leet; Chanwook Oh; Michele Lora; Sven Koenig; Pierluigi Nuzzo 002 (IROS, 2023)

Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP. - Dake Chen; Xuan Zhou; Yinghua Hu; Yuke Zhang; Kaixin Yang; Andrew Rittenbach; Pierluigi Nuzzo 002; Peter A. Beerel (ISQED, 2023)

Computer-Aided Generation of Assurance Cases. - Timothy E. Wang; Chanwook Oh; Matthew Low; Isaac Amundson; Zamira Daw; Alessandro Pinto; Massimiliano L. Chiodo; Guoqiang Wang; Saqib Hasan; Ryan Melville; Pierluigi Nuzzo 002 (SAFECOMP Workshops, 2023)

Safe Posterior Sampling for Constrained MDPs with Bounded Constraint Violation. - Krishna Chaitanya Kalagarla; Rahul Jain 002; Pierluigi Nuzzo 002 (CoRR, 2023)

Similarity-Based Logic Locking Against Machine Learning Attacks. - Subhajit Dutta Chowdhury; Kaixin Yang; Pierluigi Nuzzo 002 (CoRR, 2023)

Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes. - Krishna Chaitanya Kalagarla; Dhruva Kartik; Dongming Shen; Rahul Jain 002; Ashutosh Nayyar; Pierluigi Nuzzo 002 (CoRR, 2023)

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts. - Piergiuseppe Mallozzi; Nir Piterman; Pierluigi Nuzzo 002; Gerardo Schneider; Patrizio Pelliccione (CoRR, 2023)

Regret Analysis of the Posterior Sampling-based Learning Algorithm for Episodic POMDPs. - Dengwang Tang; Rahul Jain 002; Ashutosh Nayyar; Pierluigi Nuzzo 002 (CoRR, 2023)

Sparse but Strong: Crafting Adversarially Robust Graph Lottery Tickets. - Subhajit Dutta Chowdhury; Zhiyu Ni; Qingyuan Peng; Souvik Kundu 009; Pierluigi Nuzzo 002 (CoRR, 2023)

On the Security of Sequential Logic Locking Against Oracle-Guided Attacks. - Yinghua Hu; Yuke Zhang; Kaixin Yang; Dake Chen; Peter A. Beerel; Pierluigi Nuzzo 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes. - Krishna Chaitanya Kalagarla; Matthew Low; Rahul Jain 002; Ashutosh Nayyar; Pierluigi Nuzzo 002 (CDC, 2024)

Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project. - Michele Lora; Sebastiano Gaiardelli; Chanwook Oh; Stefano Spellini; Pierluigi Nuzzo 002; Franco Fummi (DATE, 2024)

Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism. - Yifeng Xiao; Chanwook Oh; Michele Lora; Pierluigi Nuzzo 002 (DATE, 2024)

Learning Compositional, Time-Varying Neural Barrier Contracts. - Matthew Low; Timothy E. Wang; Pierluigi Nuzzo 002 (ECAI, 2024)

Analyzing Adversarial Vulnerabilities of Graph Lottery Tickets. - Subhajit Dutta Chowdhury; Zhiyu Ni; Qingyuan Peng; Souvik Kundu 009; Pierluigi Nuzzo 002 (ICASSP, 2024)

DECOR: Enhancing Logic Locking Against Machine Learning-Based Attacks. - Yinghua Hu; Kaixin Yang; Subhajit Dutta Chowdhury; Pierluigi Nuzzo 002 (ISQED, 2024)

Pure Exploration for Constrained Best Mixed Arm Identification with a Fixed Budget. - Dengwang Tang; Rahul Jain 002; Ashutosh Nayyar; Pierluigi Nuzzo 002 (CoRR, 2024)

Passivity Tools for Hybrid Learning Rules in Large Populations. - Jair Certorio; Nuno C. Martins; Kevin Chang 007; Pierluigi Nuzzo 002; Yasser Shoukry (CoRR, 2024)

Unveiling Adversarially Robust Graph Lottery Tickets. - Subhajit Dutta Chowdhury; Zhiyu Ni; Qingyuan Peng; Souvik Kundu 009; Pierluigi Nuzzo 002 (Trans. Mach. Learn. Res., 2024)

Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures. - Dmitrii Kirov; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli; Roberto Passerone (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements. - Nikhil Vijay Naik 001; Alessandro Pinto; Pierluigi Nuzzo 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

A Safe Bayesian Learning Algorithm for Constrained MDPs with Bounded Constraint Violation. - Krishna Chaitanya Kalagarla; Rahul Jain 002; Pierluigi Nuzzo 002 (AISTATS, 2025)

Optimal Control of Logically Constrained Partially Observable and Multiagent Markov Decision Processes. - Krishna Chaitanya Kalagarla; Dhruva Kartik; Dongming Shen; Rahul Jain 002; Ashutosh Nayyar; Pierluigi Nuzzo 002 (IEEE Trans. Autom. Control., 2025)

CORE: Constraint-Aware One-Step Reinforcement Learning for Simulation-Guided Neural Network Accelerator Design. - Yifeng Xiao; Yurong Xu; Ning Yan; Masood S. Mortazavi; Pierluigi Nuzzo 002 (CoRR, 2025)

Systematic Evaluation of Knowledge Graph Repair with Large Language Models. - Tung-Wei Lin; Gabe Fierro; Han Li; Tianzhen Hong; Pierluigi Nuzzo 002; Alberto L. Sangiovanni-Vincentelli (CoRR, 2025)