Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees

20 October 2021

Papers citing "Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees"

5 / 5 papers shown

Title
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications Yiqi Zhao Emily Zhu Bardh Hoxha Georgios Fainekos Jyotirmoy V. Deshmukh Lars Lindemann 29 0 0 03 Apr 2025
Learning test generators for cyber-physical systems J. Peltomäki Ivan Porres 24 0 0 04 Oct 2024
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems Changjian Zhang Parv Kapoor Eunsuk Kang Romulo Meira-Goes David Garlan Akila Ganlath Shatadal Mishra N. Ammar 34 0 0 24 Jun 2024
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift Yiqi Zhao Bardh Hoxha Georgios Fainekos Jyotirmoy V. Deshmukh Lars Lindemann 23 14 0 16 Nov 2023
Requirement falsification for cyber-physical systems using generative models J. Peltomäki Ivan Porres 29 6 0 31 Oct 2023