A Gradient-based Bilevel Optimization Approach for Tuning Hyperparameters in Machine Learning. - Ankur Sinha 001; Tanmay Khandait; Raja Mohanty (CoRR, 2020)

Impact of News on the Commodity Market: Dataset and Results. - Ankur Sinha 001; Tanmay Khandait (CoRR, 2020)

ARCH-COMP 2021 Category Report: Falsification with Validation of Results. - Gidon Ernst; Paolo Arcaini; Ismail Bennani; Aniruddh Chandratre; Alexandre Donzé; Georgios Fainekos; Goran Frehse; Khouloud Gaaloul; Jun Inoue 001; Tanmay Khandait; Logan Mathesen; Claudio Menghi; et al. (ARCH@ADHS, 2021)

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees. - Giulia Pedrielli; Tanmay Khandait; Surdeep Chotaliya; Quinn Thibeault; Hao Huang 012; Mauricio Castillo-Effen; Georgios Fainekos (CoRR, 2021)

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources. - Gidon Ernst; Paolo Arcaini; Georgios Fainekos; Federico Formica; Jun Inoue 001; Tanmay Khandait; Mohammad Mahdi Mahboob; Claudio Menghi; Giulia Pedrielli; Masaki Waga; Yoriyuki Yamagata; Zhenya Zhang (ARCH@SAFECOMP, 2022)

Safe Robot Learning in Assistive Devices through Neural Network Repair. - Keyvan Majd; Geoffrey Mitchell Clark; Tanmay Khandait; Siyu Zhou 001; Sriram Sankaranarayanan 001; Georgios Fainekos; Heni Ben Amor (CoRL, 2022)

ARCH-COMP23 Category Report: Falsification. - Claudio Menghi; Paolo Arcaini; Walstan Baptista; Gidon Ernst; Georgios Fainekos; Federico Formica; Sauvik Gon; Tanmay Khandait; Atanu Kundu 002; Giulia Pedrielli; Jarkko Peltomäki; Ivan Porres; et al. (ARCH, 2023)

Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems. - Quinn Thibeault; Tanmay Khandait; Giulia Pedrielli; Georgios Fainekos (CASE, 2023)

Stealthy attacks formalized as STL formulas for Falsification of CPS Security. - Aniruddh Chandratre; Tomas Hernandez Acosta; Tanmay Khandait; Giulia Pedrielli; Georgios Fainekos (HSCC, 2023)

Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator. - Tanmay Khandait; Aniruddh Chandratre; Walstan Baptista; Giulia Pedrielli; Georgios Fainekos (HSCC, 2023)

Parameter Optimization with Conscious Allocation (POCA). - Joshua Inman; Tanmay Khandait; Giulia Pedrielli; Lalitha Sankar (WSC, 2023)

CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization. - Mengrui Mina Jiang; Tanmay Khandait; Giulia Pedrielli (WSC, 2023)

Safe Robot Learning in Assistive Devices through Neural Network Repair. - Keyvan Majd; Geoffrey Clark; Tanmay Khandait; Siyu Zhou 001; Sriram Sankaranarayanan 001; Georgios Fainekos; Heni Ben Amor (CoRR, 2023)

Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics. - Keyvan Majd; Geoffrey Clark; Tanmay Khandait; Siyu Zhou 001; Sriram Sankaranarayanan 001; Georgios Fainekos; Heni Ben Amor (CoRR, 2023)

HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems. - Tanmay Khandait; Giulia Pedrielli (RV, 2024)

A gradient-based bilevel optimization approach for tuning regularization hyperparameters. - Ankur Sinha 001; Tanmay Khandait; Raja Mohanty (Optim. Lett., 2024)

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees. - Giulia Pedrielli; Tanmay Khandait; Yumeng Cao; Quinn Thibeault; Hao Huang 012; Mauricio Castillo-Effen; Georgios Fainekos (IEEE Trans Autom. Sci. Eng., 2024)

Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic. - Christian Abou-Mrad; Tanmay Khandait; Giulia Pedrielli; Houssam Abbas (ICCPS, 2025)

POCAII: Parameter Optimization with Conscious Allocation using Iterative Intelligence. - Joshua Inman; Tanmay Khandait; Lalitha Sankar; Giulia Pedrielli (CoRR, 2025)