Jean-François Raskin
Jean-François Raskin
Affiliation: Université Libre de Bruxelles
Talks
(CAV)
Synthesizing POMDP Policies: Sampling Meets Model-checking via Learning · Automata
Pages in this Program
Program
Program on Monday, 27 July 2026
CAV on Monday, 27 July 2026
CAV Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑