Debraj Chakraborty

According to our database, Debraj Chakraborty authored at least 7 papers between 2020 and 2024.

Collaborative distances:

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

2024

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.

Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger

CoRR, 2024

Learning Explainable and Better Performing Representations of POMDP Strategies.

Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods.

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

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2021

Safe Learning for Near-Optimal Scheduling.

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

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

2020

Monte Carlo Tree Search guided by Symbolic Advice for MDPs.

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

CoRR, 2020

Monte Carlo Tree Search Guided by Symbolic Advice for MDPs.

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

Proceedings of the 31st International Conference on Concurrency Theory, 2020