Debraj Chakraborty

Research specialist - postdoc, Department of Computer Science

correspondence Address:
Botanická 554/68a, 602 00 Brno

e‑mail:

social and academic networks:

Basic information

Type

Total number of publications: 2

2025

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

AZEEM Muqsit CHAKRABORTY Debraj KANAV Sudeep KŘETÍNSKÝ Jan MOHAGHEGHI Mohammadsadegh MOHR Stefanie WEININGER Maximilian

Article in Proceedings

VMCAI 2025, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, year: 2025

2024

Learning Explainable and Better Performing Representations of POMDP Strategies

BORK Alexander CHAKRABORTY Debraj GROVER Kush KŘETÍNSKÝ Jan MOHR Stefanie

Article in Proceedings

TACAS 2024, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, year: 2024