Relatively Complete Verification of Probabilistic Programs

Batz, Kevin (Corresponding author)^RWTH* ; Kaminski, Benjamin Lucien (Corresponding author) ; Katoen, Joost-Pieter (Corresponding author)^RWTH* ; Matheja, Christoph (Corresponding author)

2020

Umfang49 Seiten

Online
DOI: 10.48550/ARXIV.2010.14548
10.48550/ARXIV.2010.14548

Einrichtungen

Externer link:

Fulltext by arXiv.org

Dokumenttyp
Preprint

Format
online

Sprache
English

Externe Identnummern
arXiv: arXiv:2010.14548
OpenAlex: W3096247409

Interne Identnummern
RWTH-2020-10839
Datensatz-ID: 805237

Beteiligte Länder
Germany, Switzerland, UK

; Free to read

Datensatz erzeugt am 2020-11-03, letzte Änderung am 2026-09-10

Externer link:

Dieses Dokument bewerten:

(Bisher nicht rezensiert)

h1