Percentile Queries in Multi-dimensional Markov Decision Processes - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

Dates et versions

hal-01245196 , version 1 (16-12-2015)

Identifiants

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⟩
252 Consultations
0 Téléchargements

Altmetric

Partager

More