Sign in
Tanmay Khandait
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 13
Top Topics
Hyperparameters
Top Venues
CoRR
HSCC
WSC
CASE
</>
Publications
</>
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)
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)
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)