Tanmay Khandait
Arizona State University
H-index: 5
North America-United States
Top articles of Tanmay Khandait
ARCH-COMP 2023 Category Report: Falsification
10th International Workshop on Applied Verification of Continuous and Hybrid Systems. ARCH23
2023
CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization
2023/12/10
Tanmay Khandait
H-Index: 1
Giulia Pedrielli
H-Index: 12
Parameter Optimization with Conscious Allocation (POCA)
2023/12/10
A gradient-based bilevel optimization approach for tuning regularization hyperparameters
Optimization Letters
2023/9/29
Ankur Sinha
H-Index: 5
Tanmay Khandait
H-Index: 1
Part-x: A family of stochastic algorithms for search-based test generation with probabilistic guarantees
IEEE Transactions on Automation Science and Engineering
2023
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator
2023/5/9
Stealthy attacks formalized as STL formulas for Falsification of CPS Security
2023/5/9
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics
arXiv preprint arXiv:2303.06582
2023/3/12
Safe Robot Learning in Assistive Devices through Neural Network Repair
arXiv preprint arXiv:2303.04431
2023/3/8
Arch-comp 2022 category report: Falsification with ubounded resources
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). EPiC Series in Computing
2022/12/13
Inside the Box: Analysing Cyber-Physical Systems, Exploiting Models and Specifications
2022
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
2021/7/9
Impact of news on the commodity market: Dataset and results
2021
Ankur Sinha
H-Index: 5
Tanmay Khandait
H-Index: 1
Co-Authors
