Follow
Tanmay Khandait
Title
Cited by
Cited by
Year
Impact of news on the commodity market: Dataset and results
A Sinha, T Khandait
Advances in Information and Communication: Proceedings of the 2021 Future of …, 2021
372021
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ...
ARCH@ ADHS, 133-152, 2021
292021
A gradient-based bilevel optimization approach for tuning hyperparameters in machine learning
A Sinha, T Khandait, R Mohanty
arXiv preprint arXiv:2007.11022, 2020
172020
Arch-comp 2022 category report: Falsification with ubounded resources
G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ...
Proceedings of 9th International Workshop on Applied Verification of …, 2022
142022
Part-x: A family of stochastic algorithms for search-based test generation with probabilistic guarantees
G Pedrielli, T Khandait, Y Cao, Q Thibeault, H Huang, M Castillo-Effen, ...
IEEE Transactions on Automation Science and Engineering, 2023
112023
ARCH-COMP 2023 Category Report: Falsification
C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ...
Proceedings of 10th International Workshop on Applied 96, 151-169, 2023
62023
Stealthy attacks formalized as STL formulas for Falsification of CPS Security
A Chandratre, T Hernandez Acosta, T Khandait, G Pedrielli, G Fainekos
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
42023
A gradient-based bilevel optimization approach for tuning regularization hyperparameters
A Sinha, T Khandait, R Mohanty
Optimization Letters, 1-22, 2023
12023
Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems
Q Thibeault, T Khandait, G Pedrielli, G Fainekos
2023 IEEE 19th International Conference on Automation Science and …, 2023
12023
CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization
MM Jiang, T Khandait, G Pedrielli
2023 Winter Simulation Conference (WSC), 564-575, 2023
2023
Parameter Optimization with Conscious Allocation (POCA)
J Inman, T Khandait, G Pedrielli, L Sankar
2023 Winter Simulation Conference (WSC), 3436-3447, 2023
2023
Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator
T Khandait, A Chandratre, W Baptista, G Pedrielli, G Fainekos
Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023
2023
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics
K Majd, G Clark, T Khandait, S Zhou, S Sankaranarayanan, G Fainekos, ...
arXiv preprint arXiv:2303.06582, 2023
2023
Safe Robot Learning in Assistive Devices through Neural Network Repair
K Majd, G Clark, T Khandait, S Zhou, S Sankaranarayanan, G Fainekos, ...
arXiv preprint arXiv:2303.04431, 2023
2023
Inside the Box: Analysing Cyber-Physical Systems, Exploiting Models and Specifications
TB Khandait
Arizona State University, 2022
2022
Safe Robot Learning in Assistive Devices through Neural Network Repair-Supplementary Materials
K Majd, G Clark, T Khandait, S Zhou, S Sankaranarayanan, G Fainekos, ...
The system can't perform the operation now. Try again later.
Articles 1–16