| Bi-objective lexicographic optimization in Markov decision processes with related objectives D Busatto-Gaston, D Chakraborty, A Majumdar, S Mukherjee, GA Pérez, ... International Symposium on Automated Technology for Verification and …, 2023 | 5 | 2023 |
| Monte carlo tree search guided by symbolic advice for MDPs D Busatto-Gaston, D Chakraborty, JF Raskin arXiv preprint arXiv:2006.04712, 2020 | 4 | 2020 |
| Learning Explainable and Better Performing Representations of POMDP Strategies A Bork, D Chakraborty, K Grover, J Křetínský, S Mohr International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
| Safe learning for near-optimal scheduling D Busatto-Gaston, D Chakraborty, S Guha, GA Pérez, JF Raskin International Conference on Quantitative Evaluation of Systems, 235-254, 2021 | 3 | 2021 |
| Formally-sharp dagger for MCTS: lower-latency monte carlo tree search using data aggregation with formal methods D Chakraborty, D Busatto-Gaston, JF Raskin, GA Pérez arXiv preprint arXiv:2308.07738, 2023 | 2 | 2023 |
| Monte Carlo Tree Search with Advice D Chakraborty Université libre de Bruxelles, 2022 | | 2022 |
