Hi!
I am a postdoctoral researcher at Learning in Verification lab in the Faculty of Informatics, Masaryk University, Brno, where I am working with Prof. Jan Křetínský.
In December 2022, I completed my PhD under supervision of Prof. Jean-François Raskin at Formal Methods and Verification group in Département d’Informatique, Université Libre de Bruxelles.
Previously, I received my MSc in Computer Science and BSc in Mathematics and Computer Science from Chennai Mathematical Institute.
Publications
📄 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization Accepted at VMCAI 2025
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Křetínský, Mohammadsadegh Mohagheghi, Stefanie Mohr and Maximilian Weininger
📄 Learning Explainable and Better Performing Representations of POMDP Strategies TACAS 2024
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Křetínský and Stefanie Mohr
📄 Bi-Objective Lexicographic Optimization in Markov Decision Processes with Related Objectives ATVA 2023
Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo A. Pérez and Jean-François Raskin
📄 Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods AAMAS 2023
Damien Busatto-Gaston, Debraj Chakraborty, Guillermo A. Pérez and Jean-François Raskin
📄 Safe Learning for Near-Optimal Scheduling QEST 2021
Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez and Jean-François Raskin
📄 Monte Carlo Tree Search guided by Symbolic Advice for MDPs CONCUR 2020
Damien Busatto-Gaston, Debraj Chakraborty and Jean-François Raskin
PhD thesis
Monte Carlo Tree Search with Advice 2023
Contact details
Address
Debraj Chakraborty,
Faculty of Informatics,
Masaryk University,
Botanická 554/68a,
60200 Brno,
Czech Republic,
🌍
<lastname><at>fi.muni.cz