Media type: E-Book; Thesis Title: Semantics and loop invariant synthesis for probabilistic programs Other titles: Semantiken und Schleifeninvariantensynthese für probabilistische Programme Contributor: Gretz, Friedrich [Verfasser]; Katoen, Joost-Pieter [Akademischer Betreuer]; Sankaranarayanan, Sriram [Akademischer Betreuer] imprint: Aachen: Universitätsbibliothek der RWTH Aachen, 2016 Extent: Online-Ressource Language: English Identifier: Keywords: Hochschulschrift Origination: University thesis: Dissertation, Aachen, Techn. Hochsch., 2015 Footnote: Access State: Open Access