We stand with Ukraine  

Sayan Mukherjee

Orcid: 0000-0001-6473-3172

Affiliations:
  • Université Libre de Bruxelles, Brussels, Belgium
  • Chennai Mathematical Institute, India (former)


According to our database1, Sayan Mukherjee authored at least 6 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Greybox Learning of Languages Recognizable by Event-Recording Automata.
[BibTeX]
[DOI]
Anirban Majumdar
,
Sayan Mukherjee
,
Jean-François Raskin
CoRR, 2024

2023
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives.
[BibTeX]
[DOI]
Damien Busatto-Gaston
,
Debraj Chakraborty
,
Anirban Majumdar
,
Sayan Mukherjee
,
Guillermo A. Pérez
,
Jean-François Raskin
Proceedings of the Automated Technology for Verification and Analysis, 2023

2022
Reachability in Timed Automata with Diagonal Constraints and Updates. (Accessibilité dans les automates temporisés avec des contraintes diagonales et des mises à jour).
[BibTeX]
[DOI]
Sayan Mukherjee
PhD thesis, 2022

2020
Reachability for Updatable Timed Automata Made Faster and More Effective.
[BibTeX]
[DOI]
Paul Gastin
,
Sayan Mukherjee
,
B. Srivathsan
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2019
Fast Algorithms for Handling Diagonal Constraints in Timed Automata.
[BibTeX]
[DOI]
Paul Gastin
,
Sayan Mukherjee
,
B. Srivathsan
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Reachability in Timed Automata with Diagonal Constraints.
[BibTeX]
[DOI]
Paul Gastin
,
Sayan Mukherjee
,
B. Srivathsan
Proceedings of the 29th International Conference on Concurrency Theory, 2018


  Loading...