Encoding rmTLA+ Proof Obligations Safely for SMT. - Rosalie Defourné (ABZ, 2023)

Certified Enumeration of AI Explanations: A Focus on Monotonic Classifiers. - Clément Contet; Rosalie Defourné; Aurélie Hurault (ICECCS, 2025)

Encoding TLA+ proof obligations safely for SMT. - Rosalie Defourné (Sci. Comput. Program., 2025)