Publications

2025

• POCAII: Parameter Optimization with Conscious Allocation using Iterative Intelligence.
  Joshua Inman, Tanmay Khandait, Lalitha Sankar, Giulia Pedrielli. arXiv preprint arXiv:2505.11745
• Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic.
  Christian Abou-Mrad, Tanmay Khandait, Giulia Pedrielli, Houssam Abbas. ACM/IEEE ICCPS 2025

2024

• Arch-comp 2024 Category Report: Falsification.
  Tanmay Khandait, Federico Formica, Paolo Arcaini, et al. ARCH Workshop 2024
• HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems.
  Tanmay Khandait, Giulia Pedrielli. International Conference on Runtime Verification
• A Gradient-based Bilevel Optimization Approach for Tuning Regularization Hyperparameters.
  Ankur Sinha, Tanmay Khandait, Raja Mohanty. Optimization Letters

2023

• Safe Robot Learning in Assistive Devices through Neural Network Repair.
  Keyvan Majd, Geoffrey Clark, Tanmay Khandait, et al. arXiv preprint arXiv:2303.04431
• Search Based Testing for Code Coverage and Falsification in Cyber-Physical Systems.
  Quinn Thibeault, Tanmay Khandait, Giulia Pedrielli, Georgios Fainekos. IEEE CASE 2023
• ARCH-COMP 2023 Category Report: Falsification.
  Claudio Menghi, Paolo Arcaini, Tanmay Khandait, et al. ARCH Workshop 2023
• Parameter Optimization with Conscious Allocation (POCA).
  Joshua Inman, Tanmay Khandait, Giulia Pedrielli, Lalitha Sankar. Winter Simulation Conference (WSC)
• CGPT: A Conditional Gaussian Process Tree for Grey-Box Bayesian Optimization.
  Mengrui Mina Jiang, Tanmay Khandait, Giulia Pedrielli. Winter Simulation Conference (WSC)
• Stealthy Attacks Formalized as STL Formulas for Falsification of CPS Security.
  Aniruddh Chandratre, Tomas Hernandez Acosta, Tanmay Khandait, et al. ACM HSCC 2023
• Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator.
  Tanmay Khandait, Aniruddh Chandratre, Walstan Baptista, et al. ACM HSCC 2023
• Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees.
  Giulia Pedrielli, Tanmay Khandait, et al. IEEE Transactions on Automation Science and Engineering

2022

• Arch-comp 2022 Category Report: Falsification with Unbounded Resources.
  Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Tanmay Khandait, et al. ARCH Workshop 2022
• Inside the Box: Analysing Cyber-Physical Systems, Exploiting Models and Specifications.
  Tanmay Bhaskar Khandait. Master’s Thesis, Arizona State University

2021

• ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
  Gidon Ernst, Paolo Arcaini, Tanmay Khandait, et al. ARCH@ADHS Workshop
• Impact of News on the Commodity Market: Dataset and Results.
  Ankur Sinha, Tanmay Khandait. Future of Information and Communication Conference, Springer

2020

• A Gradient-Based Bilevel Optimization Approach for Tuning Hyperparameters in Machine Learning.
  Ankur Sinha, Tanmay Khandait, Raja Mohanty. arXiv preprint arXiv:2007.11022