关注
Nikhil Vijay Naik
Nikhil Vijay Naik
Graduate Student, Ming Hsieh Department of Electrical and Computer Engineering, University of
在 usc.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
A joint deconvolution algorithm to combine single-dish and interferometer data for wideband multiterm and mosaic imaging
U Rau, N Naik, T Braun
The Astronomical Journal 158 (1), 3, 2019
162019
Designing interpretable approximations to deep reinforcement learning with soft decision trees
N Dahlin, KC Kalagarla, N Naik, R Jain, P Nuzzo
arXiv preprint arXiv:2010.14785, 2020
82020
Arachne: Automated validation of assurance cases with stochastic contract networks
C Oh, N Naik, Z Daw, TE Wang, P Nuzzo
International Conference on Computer Safety, Reliability, and Security, 65-81, 2022
52022
Contract-based control synthesis with barrier functions for vehicular mission planning
M Waqas, NV Naik, P Ioannou, P Nuzzo
2022 IEEE 61st Conference on Decision and Control (CDC), 2216-2221, 2022
42022
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems
N Naik, P Nuzzo
2020 18th ACM-IEEE International Conference on Formal Methods and Models for …, 2020
42020
Designing interpretable approximations to deep reinforcement learning
N Dahlin, KC Kalagarla, N Naik, R Jain, P Nuzzo
arXiv preprint arXiv:2010.14785, 2020
32020
Control barrier function contracts for vehicular mission planning under signal temporal logic specifications
M Waqas, NV Naik, P Ioannou, P Nuzzo
arXiv preprint arXiv:2209.07478, 2022
22022
系统目前无法执行此操作,请稍后再试。
文章 1–7