Tanmay Khandait

20 papers B 1Misc 3Journal 9Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic.
ICCPS
Christian Abou-Mrad, Tanmay Khandait, Giulia Pedrielli, Houssam Abbas
2025 J jnl
POCAII: Parameter Optimization with Conscious Allocation using Iterative Intelligence.
CoRR
Joshua Inman, Tanmay Khandait, Lalitha Sankar, Giulia Pedrielli
2024 J jnl
A gradient-based bilevel optimization approach for tuning regularization hyperparameters.
Optim. Lett.
Ankur Sinha, Tanmay Khandait, Raja Mohanty
2024 B conf
HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems.
RV
Tanmay Khandait, Giulia Pedrielli
2024 J jnl
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees.
IEEE Trans Autom. Sci. Eng.
Giulia Pedrielli, Tanmay Khandait, Yumeng Cao, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
2023 — conf
ARCH-COMP23 Category Report: Falsification.
ARCH
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
2023 Misc conf
CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization.
WSC
Mengrui Mina Jiang, Tanmay Khandait, Giulia Pedrielli
2023 J jnl
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics.
CoRR
Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
2023 — conf
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator.
HSCC
Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, Giulia Pedrielli, Georgios Fainekos
2023 Misc conf
Parameter Optimization with Conscious Allocation (POCA).
WSC
Joshua Inman, Tanmay Khandait, Giulia Pedrielli, Lalitha Sankar
2023 J jnl
Parameter Optimization with Conscious Allocation (POCA).
CoRR
Joshua Inman, Tanmay Khandait, Giulia Pedrielli, Lalitha Sankar
2023 J jnl
Safe Robot Learning in Assistive Devices through Neural Network Repair.
CoRR
Keyvan Majd, Geoffrey Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
2023 — conf
Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems.
CASE
Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
2023 — conf
Stealthy attacks formalized as STL formulas for Falsification of CPS Security.
HSCC
Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos
2022 — conf
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources.
ARCH@SAFECOMP
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
2022 Misc conf
Safe Robot Learning in Assistive Devices through Neural Network Repair.
CoRL
Keyvan Majd, Geoffrey Mitchell Clark, Tanmay Khandait, Siyu Zhou, Sriram Sankaranarayanan, Georgios Fainekos, Heni Ben Amor
2021 — conf
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
ARCH@ADHS
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
2021 J jnl
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees.
CoRR
Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya, Quinn Thibeault, Hao Huang, Mauricio Castillo-Effen, Georgios Fainekos
2020 J jnl
A Gradient-based Bilevel Optimization Approach for Tuning Hyperparameters in Machine Learning.
CoRR
Ankur Sinha, Tanmay Khandait, Raja Mohanty
2020 J jnl
Impact of News on the Commodity Market: Dataset and Results.
CoRR
Ankur Sinha, Tanmay Khandait