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 | 16 | 2019 |
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 | 8 | 2020 |
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 | 5 | 2022 |
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 | 4 | 2022 |
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 | 4 | 2020 |
Designing interpretable approximations to deep reinforcement learning N Dahlin, KC Kalagarla, N Naik, R Jain, P Nuzzo arXiv preprint arXiv:2010.14785, 2020 | 3 | 2020 |
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 | 2 | 2022 |