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

2020
2021
2022
2023
2024
0
1
2
3
4
1
1
1
2
1

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.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

2022
Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications.
CoRR, 2022

ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks.
Proceedings of the Computer Safety, Reliability, and Security, 2022

Contract-Based Control Synthesis with Barrier Functions for Vehicular Mission Planning.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2020
Designing Interpretable Approximations to Deep Reinforcement Learning with Soft Decision Trees.
CoRR, 2020

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


  Loading...