Scholar

Sayan Mukherjee

Google Scholar ID: 1y1GjicAAAAJ

Postdoctoral fellow, Univ Rennes, INRIA, CNRS, IRISA

Formal VerificationTimed AutomataAutomata Learning

Citations & Impact

All-time

Citations

H-index

i10-index

Publications

Co-authors

list available

Contact

Resume

Academic Achievements

Paper 'Prompt Runtime Enforcement' to appear in ATVA 2025.
Paper 'Learning Event-recording Automata Passively' to appear in ATVA 2025.
Paper 'Greybox Learning of Languages Recognizable by Event-Recording Automata' published in ATVA 2024 (LNCS 15054, pp. 235–256).
Paper 'Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives' published in ATVA 2023 (LNCS 14215, pp. 203–223).
Paper 'Reachability for Updatable Timed Automata Made Faster and More Effective' published in FSTTCS 2020 (LIPIcs 182, 47:1–47:17).
Paper 'Fast Algorithms for Handling Diagonal Constraints in Timed Automata' published in CAV 2019 (LNCS 11561, pp. 41–59).
Paper 'Reachability in Timed Automata with Diagonal Constraints' published in CONCUR 2018 (LIPIcs 118, 28:1–28:17).
Ph.D. thesis 'Reachability in Timed Automata with Diagonal Constraints and Updates' (2022).

Co-authors

4 total