Anirban Majumdar

According to our database, Anirban Majumdar authored at least 12 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Greybox Learning of Languages Recognizable by Event-Recording Automata.

Anirban Majumdar, Sayan Mukherjee, Jean-François Raskin

CoRR, 2024

Algorithms for Robbins' Problem Using Markov Decision Processes.

Léonard Brice, F. Thomas Bruss, Anirban Majumdar, Jean-François Raskin

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

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

Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez, Jean-François Raskin

Proceedings of the Automated Technology for Verification and Analysis, 2023

2021

Vérification et synthèse de systèmes concurrents paramétrés. (Verification and synthesis of parameterized concurrent systems).

Anirban Majumdar

PhD thesis, 2021

Reconfiguration and Message Losses in Parameterized Broadcast Networks.

Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar

Log. Methods Comput. Sci., 2021

2020

Playing with Repetitions in Data Words Using Energy Games.

Diego Figueira, Anirban Majumdar, M. Praveen

Log. Methods Comput. Sci., 2020

Synthesizing Safe Coalition Strategies.

Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2019

Computing the Width of Non-deterministic Automata.

Denis Kuperberg, Anirban Majumdar

Log. Methods Comput. Sci., 2019

Concurrent Parameterized Games.

Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

2018

Static and Dynamic Synthesis of Bengali and Devanagari Signatures.

Miguel A. Ferrer, Sukalpa Chanda, Moisés Díaz, Chayan Kumar Banerjee, Anirban Majumdar, Cristina Carmona-Duarte, Parikshit Acharya, Umapada Pal

IEEE Trans. Cybern., 2018

Width of Non-deterministic Automata.

Denis Kuperberg, Anirban Majumdar

Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, 2018

2016

Multiple Generation of Bengali Static Signatures.

Moisés Díaz Cabrera, Sukalpa Chanda, Miguel A. Ferrer, Chayan Kumar Banerjee, Anirban Majumdar, Cristina Carmona-Duarte, Parikshit Acharya, Umapada Pal

Proceedings of the 15th International Conference on Frontiers in Handwriting Recognition, 2016