We stand with Ukraine  

Nikhil Naik

Orcid: 0000-0001-6871-2010

Affiliations:
  • University of Southern California, Ming Hsieh Department of Electrical and Computer Engineering, Los Angeles, CA, USA


According to our database1, Nikhil Naik authored at least 6 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements.
[BibTeX]
[DOI]
Nikhil Vijay Naik
,
Alessandro Pinto
,
Pierluigi Nuzzo
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

2022
Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications.
[BibTeX]
[DOI]
Muhammad Waqas
,
Nikhil Vijay Naik
,
Petros A. Ioannou
,
Pierluigi Nuzzo
CoRR, 2022

ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks.
[BibTeX]
[DOI]
Chanwook Oh
,
Nikhil Naik
,
Zamira Daw
,
Timothy E. Wang
,
Pierluigi Nuzzo
Proceedings of the Computer Safety, Reliability, and Security, 2022

Contract-Based Control Synthesis with Barrier Functions for Vehicular Mission Planning.
[BibTeX]
[DOI]
Muhammad Waqas
,
Nikhil Vijay Naik
,
Petros A. Ioannou
,
Pierluigi Nuzzo
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2020
Designing Interpretable Approximations to Deep Reinforcement Learning with Soft Decision Trees.
[BibTeX]
[DOI]
Nathan Dahlin
,
Krishna Chaitanya Kalagarla
,
Nikhil Naik
,
Rahul Jain
,
Pierluigi Nuzzo
CoRR, 2020

Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems.
[BibTeX]
[DOI]
Nikhil Naik
,
Pierluigi Nuzzo
Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020


  Loading...