Autor:	Arming, Sebastian, Bartocci, Ezio, Sokolova, Ana
Rok vydání:	2017
Předmět:	Computer Science - Logic in Computer Science
Zdroj:	EPTCS 250, 2017, pp. 25-38
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.250.3
Popis:	We study parametric Markov decision processes (PMDPs) and their reachability probabilities "independent" of the parameters. Different to existing work on parameter synthesis (implemented in the tools PARAM and PRISM), our main focus is on describing different types of optimal deterministic memoryless schedulers for the whole parameter range. We implement a simple prototype tool SEA-PARAM that computes these optimal schedulers and show experimental results. Comment: In Proceedings QAPL 2017, arXiv:1707.03668
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1707.04122 Zobrazit plný text záznamu View this record from Arxiv