5 citations · 5 across the 5 of their papers we have counts for
3 papers · 1 filter
Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems
Tanmay Khandait, Preetom Biswas, Hideki Okamoto +3
Discovering rare safety-critical failures in autonomous and cyber-physical systems is a fundamental challenge in verification and validation. Existing falsification approaches rely…
Parameter Optimization with Conscious Allocation (POCA)
Joshua Inman, Tanmay Khandait, Giulia Pedrielli +1
The performance of modern machine learning algorithms depends upon the selection of a set of hyperparameters. Common examples of hyperparameters are learning rate and the number of…
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees
Giulia Pedrielli, Tanmay Khandait, Surdeep Chotaliya +4
Requirements driven search-based testing (also known as falsification) has proven to be a practical and effective method for discovering erroneous behaviors in Cyber-Physical Syste…