Sayan Mukherjee

Orcid: 0000-0001-6473-3172

Affiliations:

Chennai Mathematical Institute, India

According to our database¹, Sayan Mukherjee authored at least 4 papers between 2018 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

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

[BibT_eX]

[DOI]

Damien Busatto-Gaston

Proceedings of the Automated Technology for Verification and Analysis, 2023

2020

Reachability for Updatable Timed Automata Made Faster and More Effective.

[BibT_eX]

[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.

[BibT_eX]

[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.

[BibT_eX]

[DOI]

Paul Gastin

Sayan Mukherjee

B. Srivathsan

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Sayan Mukherjee

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...