Communication Dans Un Congrès
Année : 2015
Ocan Sankur : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01245196
Soumis le : mercredi 16 décembre 2015-20:16:00
Dernière modification le : mercredi 28 août 2024-03:17:29
Citer
Mickaël Randour, Jean-François Raskin, Ocan Sankur. Percentile Queries in Multi-dimensional Markov Decision Processes. 27th International Conference on Computer Aided Verification (CAV 2015), Jul 2015, San Francisco, United States. ⟨10.1007/978-3-319-21690-4_8⟩. ⟨hal-01245196⟩
Collections
252
Consultations
0
Téléchargements