Sayan Mukherjee

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Transition Matrices

Top Venues

Publications

Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. ATVA (1) (2023)
Paul Gastin, Sayan Mukherjee, B. Srivathsan
Reachability for Updatable Timed Automata Made Faster and More Effective. FSTTCS (2020)
Paul Gastin, Sayan Mukherjee, B. Srivathsan
Reachability for Updatable Timed Automata made faster and more effective. CoRR (2020)
Paul Gastin, Sayan Mukherjee, B. Srivathsan
Fast Algorithms for Handling Diagonal Constraints in Timed Automata. CAV (1) (2019)
Paul Gastin, Sayan Mukherjee, B. Srivathsan
Fast algorithms for handling diagonal constraints in timed automata. CoRR (2019)
Paul Gastin, Sayan Mukherjee, B. Srivathsan
Reachability in timed automata with diagonal constraints. CoRR (2018)
Paul Gastin, Sayan Mukherjee, B. Srivathsan
Reachability in Timed Automata with Diagonal Constraints. CONCUR (2018)