Christian Abou-Mrad

According to our database, Christian Abou-Mrad authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Falsification and Control of CPS using the Language Set of Discrete-Time Temporal Logic.

Christian Abou-Mrad, Tanmay Khandait, Giulia Pedrielli, Houssam Abbas

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025

2024

Approximating the Geometry of Temporal Logic Formulas.

Christian Abou-Mrad, Houssam Abbas

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024