Personal information

Websites & social links

My homepage

Countries

India

Activities

Collapse all

Employment (1)

Université Libre de Bruxelles: Brussels, BE

2022-04 to 2024-12-31 | Postdoctoral fellow
Employment
Source: Self-asserted source
Sayan Mukherjee

Education and qualifications (3)

Chennai Mathematical Institute: Siruseri, Tamil Nadu, IN

2016-08 to 2022-03-30 | Ph.D. in Computer Science
Education
Source: Self-asserted source
Sayan Mukherjee

Chennai Mathematical Institute: Siruseri, Tamil Nadu, IN

2014-08 to 2016-04 | M.Sc. in Applications of Mathematics
Education
Source: Self-asserted source
Sayan Mukherjee

St. Xavier's College (Autonomous), Kolkata: Kolkata, West Bengal, IN

2011-06 to 2014-04 | B.Sc. in Mathematics
Education
Source: Self-asserted source
Sayan Mukherjee

Works (5)

Greybox Learning of Languages Recognizable by Event-Recording Automata

2025 | Book chapter
DOI: 10.1007/978-3-031-78709-6_12
Contributors: Anirban Majumdar; Sayan Mukherjee; Jean-François Raskin
Source: check_circle
Crossref

Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives

2023 | Book chapter
DOI: 10.1007/978-3-031-45329-8_10
Contributors: Damien Busatto-Gaston; Debraj Chakraborty; Anirban Majumdar; Sayan Mukherjee; Guillermo A. Pérez; Jean-François Raskin
Source: check_circle
Crossref

Reachability for Updatable Timed Automata Made Faster and More Effective

40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)
2020 | Conference paper
DOI: 10.4230/LIPICS.FSTTCS.2020.47
Contributors: Paul Gastin; Sayan Mukherjee; B. Srivathsan
Source: Self-asserted source
Sayan Mukherjee

Fast Algorithms for Handling Diagonal Constraints in Timed Automata

2019 | Book chapter
DOI: 10.1007/978-3-030-25540-4_3
Contributors: Paul Gastin; Sayan Mukherjee; B. Srivathsan
Source: check_circle
Crossref

Reachability in Timed Automata with Diagonal Constraints

29th International Conference on Concurrency Theory (CONCUR 2018)
2018 | Conference paper
DOI: 10.4230/LIPICS.CONCUR.2018.28
Contributors: Paul Gastin; Sayan Mukherjee; B. Srivathsan
Source: Self-asserted source
Sayan Mukherjee
How many people are using ORCID?