Vincent Hugot: Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking. (Automates d'arbres, approximations et contraintes pour la vérification : Model-checking d'arbres (pas tout à fait) régulier). University of Franche-Comté, Besançon, France 2013