Items where Author is "Daca, Przemyslaw"

Contribution in Book/Report/Proceedings

Ashok, Pranav and Chatterjee, Krishnendu and Daca, Przemyslaw and Kretínský, Jan and Meggendorfer, Tobias (2017) Value Iteration for Long-Run Average Reward in Markov Decision Processes. In: CAV 2017 : Computer Aided Verification. Lecture Notes in Computer Science . Springer, Cham, pp. 201-221. ISBN 9783319633862