Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems. - Nikhil Naik 001; Pierluigi Nuzzo 002 (MEMOCODE, 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)

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)

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)

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)

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)