Sayan Mukherjee: Reachability in Timed Automata with Diagonal Constraints and Updates. (Accessibilité dans les automates temporisés avec des contraintes diagonales et des mises à jour). Chennai Mathematical Institute, Tamil Nadu, India 2022