Anirban Majumdar

23 papers A 1B 4Journal 12Unranked 5
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 — conf
Scalable Learning of One-Counter Automata via State-Merging Algorithms.
FSTTCS
Shibashis Guha, Anirban Majumdar, Prince Mathew, A. V. Sreejith
2025 J jnl
Scalable Learning of One-Counter Automata via State-Merging Algorithms.
CoRR
Shibashis Guha, Anirban Majumdar, Prince Mathew, A. V. Sreejith
2024 — conf
Algorithms for Robbins' Problem Using Markov Decision Processes.
Principles of Verification (2)
Léonard Brice, F. Thomas Bruss, Anirban Majumdar, Jean-François Raskin
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
2024 J jnl
Static and Dynamic Synthesis of Bengali and Devanagari Signatures.
CoRR
Miguel A. Ferrer, Sukalpa Chanda, Moisés Díaz, Chayan Kumar Banerjee, Anirban Majumdar, Cristina Carmona-Duarte, Parikshit Acharya, Umapada Pal
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
2021 J jnl
Reconfiguration and Message Losses in Parameterized Broadcast Networks.
Log. Methods Comput. Sci.
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2021 — —
Vérification et synthèse de systèmes concurrents paramétrés. (Verification and synthesis of parameterized concurrent systems).
Anirban Majumdar
2020 J jnl
Playing with Repetitions in Data Words Using Energy Games.
Log. Methods Comput. Sci.
Diego Figueira, Anirban Majumdar, M. Praveen
2020 — conf
Synthesizing Safe Coalition Strategies.
FSTTCS
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2020 J jnl
Synthesizing safe coalition strategies.
CoRR
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2019 J jnl
Computing the Width of Non-deterministic Automata.
Log. Methods Comput. Sci.
Denis Kuperberg, Anirban Majumdar
2019 — conf
Concurrent Parameterized Games.
FSTTCS
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2019 B conf
Reconfiguration and Message Losses in Parameterized Broadcast Networks.
CONCUR
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2019 J jnl
Reconfiguration and Message Losses in Parameterized Broadcast Networks.
CoRR
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
2018 J jnl
Computing the Width of Non-deterministic Automata.
CoRR
Denis Kuperberg, Anirban Majumdar
2018 J jnl
Static and Dynamic Synthesis of Bengali and Devanagari Signatures.
IEEE Trans. Cybern.
Miguel A. Ferrer, Sukalpa Chanda, Moisés Díaz, Chayan Kumar Banerjee, Anirban Majumdar, Cristina Carmona-Duarte, Parikshit Acharya, Umapada Pal
2018 A conf
Width of Non-deterministic Automata.
STACS
Denis Kuperberg, Anirban Majumdar
2016 B conf
Multiple Generation of Bengali Static Signatures.
ICFHR
Moisés Díaz Cabrera, Sukalpa Chanda, Miguel A. Ferrer, Chayan Kumar Banerjee, Anirban Majumdar, Cristina Carmona-Duarte, Parikshit Acharya, Umapada Pal