Nikhil Naik
Orcid: 0000-0001-6871-2010Affiliations:
- 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:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
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
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