Article Dans Une Revue
Formal Methods in System Design
Année : 2017
Ocan Sankur : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01911673
Soumis le : samedi 3 novembre 2018-10:51:11
Dernière modification le : mercredi 15 mai 2024-14:26:05
Citer
Mickaël Randour, Jean-François Raskin, Ocan Sankur. Percentile queries in multi-dimensional Markov decision processes. Formal Methods in System Design, 2017, 50 (2-3), pp.207 - 248. ⟨10.1007/s10703-016-0262-7⟩. ⟨hal-01911673⟩
Collections
70
Consultations
0
Téléchargements