Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Publication date	27/09/2017
Host publication	ATVA 2017: Automated Technology for Verification and Analysis
Publisher	Springer
Pages	380-399
Number of pages	20
<mark>Original language</mark>	English

Research