Debraj Chakraborty

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

pdf

📄 Learning Explainable and Better Performing Representations of POMDP Strategies  TACAS 2024

Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Křetínský and Stefanie Mohr

pdf

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

pdf   Slides

📄 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

pdf

📄 Safe Learning for Near-Optimal Scheduling  QEST 2021

Damien Busatto-Gaston, Debraj Chakraborty, Shibashis Guha, Guillermo A. Pérez and Jean-François Raskin

pdf    Slides

📄 Monte Carlo Tree Search guided by Symbolic Advice for MDPs  CONCUR 2020

Damien Busatto-Gaston, Debraj Chakraborty and Jean-François Raskin

pdf   Slides


PhD thesis

Monte Carlo Tree Search with Advice   2023

pdf   Video   Slides


Contact details

Address

Debraj Chakraborty,
Faculty of Informatics,
Masaryk University,
Botanická 554/68a, 
60200 Brno,
Czech Republic,
🌍

Email

<lastname><at>fi.muni.cz