2019-06-22 - Colloque/Présentation - communication orale - Anglais -
page(s)
Delgrange Florent
,
"Life is Random, Time is Not: Markov Decision Processes with Window Objectives" in 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis -- MoRe 2019, Vancouver, Canada, 2019
- Codes CREF : Informatique mathématique (DI1160)
- Unités de recherche UMONS : Mathématiques effectives (S820)
- Instituts UMONS : Institut de Recherche sur les Systèmes Complexes (Complexys)
- Centres UMONS : Modélisation mathématique et informatique (CREMMI)
Texte intégral :