Guillaume Girol: Robust reachability and model counting for software security. (Atteignabilité robuste et comptage de modèles pour la sécurité logicielle). University of Paris-Saclay, France 2022