Cps Falsification Using Autoencoded Input Models. - Youssef Gordon Zahar; Sanjai Rayadurgam (FormaliSE, 2025)