Nikhil Naik
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 5 papers
between 2020 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
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