2026conference

Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems

Tanmay Khandait, Preetom Biswas, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Giulia Pedrielli

International Conference on Embedded Software (EMSOFT), 2026

Topics: Testing; Falsification; and Specification; Learning-based Control and Analysis; Risk and Stochasticity

Citation

@inproceedings{Khandait26-DiffTilt,
  title = {Diffusion-Guided Search via Exponential Tilting (DiffTilt): An Application to Falsification of Safety-Critical Systems},
  author = {Tanmay Khandait and Preetom Biswas and Hideki Okamoto and Bardh Hoxha and Georgios Fainekos and Giulia Pedrielli},
  booktitle = {International Conference on Embedded Software (EMSOFT), 2026},
  year = {2026},
  url = {https://arxiv.org/abs/2607.23134},
  keywords = {Testing, Falsification, and Specification, Learning-based Control and Analysis, Risk and Stochasticity}
}