Approximating the Geometry of Temporal Logic Formulas. - Christian Abou-Mrad; Houssam Abbas (HSCC, 2024)

Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic. - Christian Abou-Mrad; Tanmay Khandait; Giulia Pedrielli; Houssam Abbas (ICCPS, 2025)