| 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 | 28 | 2021 |
| 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 | 27 | 2021 |
| A gradient-based bilevel optimization approach for tuning hyperparameters in machine learning A Sinha, T Khandait, R Mohanty arXiv preprint arXiv:2007.11022, 2020 | 17 | 2020 |
| 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 | 13 | 2022 |
| 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 | 11 | 2023 |
| 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 | 3 | 2023 |
| A gradient-based bilevel optimization approach for tuning regularization hyperparameters A Sinha, T Khandait, R Mohanty Optimization Letters, 1-22, 2023 | 1 | 2023 |
| 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 | 1 | 2023 |
| ARCH-COMP 2023 Category Report: Falsification C Menghi, P Arcaini, W Baptista, G Ernst, G Fainekos, F Formica, S Gon, ... 10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023 | 1 | 2023 |
| 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, ... | | |
Georgios FainekosToyota Research Institute of North AmericaVerifierad e-postadress på toyota.com
