Synthesizing POMDP Policies: Sampling Meets Model-Checking via Learning

Référence Lecture notes in computer science, 16683 LNCS, page (380-402)
Publication Publié, 2026

Article révisé par les pairs

Greybox Learning of Languages Recognizable by Event-Recording Automata
par Majumdar, Anirban , Mukherjee, Sayan , Raskin, Jean-François
Publication 2025
Bi-objective Lexicographic Optimization in Markov Decision Processes with Related Objectives
par Busatto-Gaston, Damien , Chakraborty, Debraj , Majumdar, Anirban , Mukherjee, Sayan , Perez, Guillermo A. , Raskin, Jean-François
Publication 2023-10-22
Algorithms for Robbins' Problem Using Markov Decision Processes
par Brice, Léonard , Bruss, F Thomas , Majumdar, Anirban , Raskin, Jean-François
Publication Springer, 2024-11-13
LTL Reactive Synthesis with a Few Hints
par Balachander, Mrudula , Filiot, Emmanuel , Raskin, Jean-François
Publication 2025-09-01
Unveil the Secret Hidden in the Haberdasher’s Puzzle: —Survey on Reversibility—
par Akiyama, Jin , Langerman, Stefan , Matsunaga, Kiyoko
Publication 2026-03-01

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.