Tanmay Khandait

According to our database, Tanmay Khandait authored at least 17 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Mauricio Castillo-Effen, Georgios Fainekos

IEEE Trans Autom. Sci. Eng., July, 2024

A gradient-based bilevel optimization approach for tuning regularization hyperparameters.

Ankur Sinha, Tanmay Khandait, Raja Mohanty

Optim. Lett., July, 2024

HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems.

Tanmay Khandait, Giulia Pedrielli

Proceedings of the Runtime Verification - 24th International Conference, 2024

2023

Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics.

Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor

CoRR, 2023

Safe Robot Learning in Assistive Devices through Neural Network Repair.

Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor

CoRR, 2023

CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization.

Mengrui Mina Jiang, Tanmay Khandait, Giulia Pedrielli

Proceedings of the Winter Simulation Conference, 2023

Parameter Optimization with Conscious Allocation (POCA).

Joshua Inman, Tanmay Khandait, Giulia Pedrielli, Lalitha Sankar

Proceedings of the Winter Simulation Conference, 2023

Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator.

Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Stealthy attacks formalized as STL formulas for Falsification of CPS Security.

Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems.

Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

ARCH-COMP23 Category Report: Falsification.

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

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Safe Robot Learning in Assistive Devices through Neural Network Repair.

Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor

Proceedings of the Conference on Robot Learning, 2022

ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.

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

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

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, Mauricio Castillo-Effen, Georgios Fainekos

CoRR, 2021

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, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Impact of News on the Commodity Market: Dataset and Results.

Ankur Sinha, Tanmay Khandait

CoRR, 2020

A Gradient-based Bilevel Optimization Approach for Tuning Hyperparameters in Machine Learning.

Ankur Sinha, Tanmay Khandait, Raja Mohanty

CoRR, 2020