5 citations · 5 across the 5 of their papers we have counts for
5 papers
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…
MultiCoSim: A Python-based Multi-Fidelity Co-Simulation Framework
Quinn Thibeault, Giulia Pedrielli
Simulation is a foundational tool for the analysis and testing of cyber-physical systems (CPS), underpinning activities such as algorithm development, runtime monitoring, and syste…
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…
PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems
Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre +2
In this paper, we present the Python package PSY-TaLiRo which is a toolbox for temporal logic robustness guided falsification of Cyber-Physical Systems (CPS). PSY-TaLiRo is a compl…