1. 2008. IEEE Standard for Binary Floating-point Arithmetic.
2. Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, and Cesare Tinelli. 2009. Satisfiability Modulo Theories. In Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, Vol. 185). IOS Press, 825–885.
3. Dorra Ben Khalifa and Matthieu Martel. 2022. Constrained Precision Tuning. In 8th International Conference on Control, Decision and Information Technologies, CoDIT. 230–236.
4. Dorra Ben Khalifa and Matthieu Martel. 2023. On the Functional Properties of Automatically Generated Fixed-Point Controllers. In 9th International Conference on Control, Decision and Information Technologies, CoDIT. IEEE, 786–791.
5. Code Generation For Neural Networks Based On Fixed-Point Arithmetic