Redouane Bouchekir, Mohand Cherif Boukala. Toward Implicit Learning for the Compositional Verification of Markov Decision Processes. In Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez, editors, Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. Volume 11181 of Lecture Notes in Computer Science, pages 200-217, Springer, 2018. [doi]
Abstract is missing.