Computer Aided Verification, CAV 2015


Article Details
Title: Percentile Queries in Multi-dimensional Markov Decision Processes
Article URLs:
Alternative Article URLs: https://link.springer.com/article/10.1007%2Fs10703-016-0262-7 https://arxiv.org/abs/1410.4801
Authors: Mickael Randour
  • LSV, CNRS and ENS Cachan
Jean-François Raskin
  • Université Libre de Bruxelles, Département d’Informatique
Ocan Sankur
  • Université Libre de Bruxelles, Département d’Informatique
Sharing: Research produced no artifacts
Verification: Authors have verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/cav/RandourRS15
Author Comments:

Discuss this paper and its artifacts below