Reachability in Timed Automata with Diagonal Constraints. - Paul Gastin; Sayan Mukherjee 002; B. Srivathsan (CONCUR, 2018)

Fast Algorithms for Handling Diagonal Constraints in Timed Automata. - Paul Gastin; Sayan Mukherjee 002; B. Srivathsan (CAV (1), 2019)

Reachability for Updatable Timed Automata Made Faster and More Effective. - Paul Gastin; Sayan Mukherjee 002; B. Srivathsan (FSTTCS, 2020)

Reachability in Timed Automata with Diagonal Constraints and Updates. (Accessibilité dans les automates temporisés avec des contraintes diagonales et des mises à jour). - Sayan Mukherjee 002 (2022)

Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. - Damien Busatto-Gaston; Debraj Chakraborty 002; Anirban Majumdar 002; Sayan Mukherjee 002; Guillermo A. Pérez 001; Jean-François Raskin (ATVA (1), 2023)

Greybox Learning of Languages Recognizable by Event-Recording Automata. - Anirban Majumdar 002; Sayan Mukherjee 002; Jean-François Raskin (ATVA, 2024)

Artifact of "Greybox Learning of Languages Recognizable by Event-Recording Automata". - Anirban Majumdar 002; Sayan Mukherjee 002; Jean-François Raskin (Zenodo, 2024)