Monte Carlo Tree Search Guided by Symbolic Advice for MDPs. - Damien Busatto-Gaston; Debraj Chakraborty 002; Jean-François Raskin (CONCUR, 2020)

Monte Carlo Tree Search guided by Symbolic Advice for MDPs. - Damien Busatto-Gaston; Debraj Chakraborty 002; Gilles Geeraerts; Jean-François Raskin (CoRR, 2020)

Safe Learning for Near-Optimal Scheduling. - Damien Busatto-Gaston; Debraj Chakraborty 002; Shibashis Guha; Guillermo A. Pérez 001; Jean-François Raskin (QEST, 2021)

Formally-Sharp DAgger for MCTS: Lower-Latency Monte Carlo Tree Search using Data Aggregation with Formal Methods. - Debraj Chakraborty 002; Damien Busatto-Gaston; Jean-François Raskin; Guillermo A. Pérez 001 (AAMAS, 2023)

Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives. - Damien Busatto-Gaston; Debraj Chakraborty 002; Anirban Majumdar 002; Sayan Mukherjee 002; Guillermo A. Pérez 001; Jean-François Raskin (ATVA (1), 2023)

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies. - Alexander Bork; Debraj Chakraborty 002; Kush Grover; Stefanie Mohr; Jan Kretínský (Zenodo, 2023)

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies. - Alexander Bork; Debraj Chakraborty 002; Kush Grover; Stefanie Mohr; Jan Kretínský (Zenodo, 2023)

Learning Explainable and Better Performing Representations of POMDP Strategies. - Alexander Bork; Debraj Chakraborty 002; Kush Grover; Jan Kretínský; Stefanie Mohr (TACAS (2), 2024)

Explainable Finite-Memory Policies for Partially Observable Markov Decision Processes. - Muqsit Azeem; Debraj Chakraborty 002; Sudeep Kanav; Jan Kretínský (CoRR, 2024)

Explaining Control Policies through Predicate Decision Diagrams. - Debraj Chakraborty 002; Clemens Dubslaff; Sudeep Kanav; Jan Kretínský; Christoph Weinhuber (HSCC, 2025)

Symbiotic Local Search for Small Decision Tree Policies in MDPs. - Roman Andriushchenko; Milan Ceska 002; Debraj Chakraborty 002; Sebastian Junges; Jan Kretínský; Filip Macák (UAI, 2025)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization. - Muqsit Azeem; Debraj Chakraborty 002; Sudeep Kanav; Jan Kretínský; MohammadSadegh Mohagheghi; Stefanie Mohr; Maximilian Weininger (VMCAI (2), 2025)