Kyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen J. Roberts. SafePILCO: A Software Tool for Safe and Data-Efficient Policy Synthesis. In Marco Gribaudo, David N. Jansen, Anne Remke, editors, Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings. Volume 12289 of Lecture Notes in Computer Science, pages 18-26, Springer, 2020. [doi]
Abstract is missing.