Sayan Mukherjee

14 papers B 4Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
Learning Event-Recording Automata Passively.
ATVA
Anirban Majumdar, Sayan Mukherjee, Jean-François Raskin
2025 J jnl
Learning Event-recording Automata Passively.
CoRR
Anirban Majumdar, Sayan Mukherjee, Jean-François Raskin
2025 B conf
Prompt Runtime Enforcement.
ATVA
Ayush Anand, Loïc Germerie Guizouarn, Thierry Jéron, Sayan Mukherjee, Srinivas Pinisetty, Ocan Sankur
2024 B conf
Greybox Learning of Languages Recognizable by Event-Recording Automata.
ATVA
Anirban Majumdar, Sayan Mukherjee, Jean-François Raskin
2024 J jnl
Greybox Learning of Languages Recognizable by Event-Recording Automata.
CoRR
Anirban Majumdar, Sayan Mukherjee, Jean-François Raskin
2023 J jnl
Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives.
CoRR
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin
2023 — conf
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives.
ATVA (1)
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin
2022 — —
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
2020 — conf
Reachability for Updatable Timed Automata Made Faster and More Effective.
FSTTCS
Paul Gastin, Sayan Mukherjee, B. Srivathsan
2020 J jnl
Reachability for Updatable Timed Automata made faster and more effective.
CoRR
Paul Gastin, Sayan Mukherjee, B. Srivathsan
2019 — conf
Fast Algorithms for Handling Diagonal Constraints in Timed Automata.
CAV (1)
Paul Gastin, Sayan Mukherjee, B. Srivathsan
2019 J jnl
Fast algorithms for handling diagonal constraints in timed automata.
CoRR
Paul Gastin, Sayan Mukherjee, B. Srivathsan
2018 B conf
Reachability in Timed Automata with Diagonal Constraints.
CONCUR
Paul Gastin, Sayan Mukherjee, B. Srivathsan
2018 J jnl
Reachability in timed automata with diagonal constraints.
CoRR
Paul Gastin, Sayan Mukherjee, B. Srivathsan