Tanmay Khandait

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 17

Top Topics

Hyperparameters

Top Venues

Publications

Ankur Sinha, Tanmay Khandait, Raja Mohanty
A gradient-based bilevel optimization approach for tuning regularization hyperparameters. Optim. Lett. 18 (6) (2024)
Giulia Pedrielli, Tanmay Khandait, Yumeng Cao, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees. IEEE Trans Autom. Sci. Eng. 21 (3) (2024)
Mengrui Mina Jiang, Tanmay Khandait, Giulia Pedrielli
CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization. WSC (2023)
Joshua Inman, Tanmay Khandait, Giulia Pedrielli, Lalitha Sankar
Parameter Optimization with Conscious Allocation (POCA). CoRR (2023)
Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics. CoRR (2023)
Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems. CASE (2023)
Claudio Menghi, Paolo Arcaini, Walstan Baptista, Gidon Ernst, Georgios Fainekos, Federico Formica, Sauvik Gon, Tanmay Khandait, Atanu Kundu, Giulia Pedrielli, Jarkko Peltomäki, Ivan Porres, Rajarshi Ray, Masaki Waga, Zhenya Zhang
ARCH-COMP23 Category Report: Falsification. ARCH (2023)
Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
Safe Robot Learning in Assistive Devices through Neural Network Repair. CoRR (2023)
Joshua Inman, Tanmay Khandait, Giulia Pedrielli, Lalitha Sankar
Parameter Optimization with Conscious Allocation (POCA). WSC (2023)
Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator. HSCC (2023)
Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
Stealthy attacks formalized as STL formulas for Falsification of CPS Security. HSCC (2023)
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. ARCH@SAFECOMP (2022)
Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
Safe Robot Learning in Assistive Devices through Neural Network Repair. CoRL (2022)
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS (2021)
Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees. CoRR (2021)
Ankur Sinha, Tanmay Khandait, Raja Mohanty
A Gradient-based Bilevel Optimization Approach for Tuning Hyperparameters in Machine Learning. CoRR (2020)
Ankur Sinha, Tanmay Khandait
Impact of News on the Commodity Market: Dataset and Results. CoRR (2020)