h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Invariant-based strategy synthesis for nondeterministic probabilistic programs



VerantwortlichkeitsangabeTom J. Biskup

ImpressumAachen : RWTH Aachen University 2024

Umfang1 Online-Ressource : Illustrationen


Masterarbeit, RWTH Aachen University, 2023

Veröffentlicht auf dem Publikationsserver der RWTH Aachen University 2024


Genehmigende Fakultät
Fak01

Hauptberichter/Gutachter
;

Tag der mündlichen Prüfung/Habilitation
2023-01-10

Online
DOI: 10.18154/RWTH-2024-02594
URL: https://publications.rwth-aachen.de/record/980850/files/980850.pdf

Einrichtungen

  1. Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
  2. Fachgruppe Informatik (120000)

Thematische Einordnung (Klassifikation)
DDC: 004

OpenAccess:
Download fulltext PDF

Dokumenttyp
Master Thesis

Format
online

Sprache
English

Interne Identnummern
RWTH-2024-02594
Datensatz-ID: 980850

Beteiligte Länder
Germany

 GO

OpenAccess
QR Code for this record

The record appears in these collections:
Document types > Theses > Master Theses
Faculty of Mathematics, Computer Science and Natural Sciences (Fac.1) > Department of Computer Science
Publication server / Open Access
Public records
Publications database
120000
121310
 Record created 2024-03-04, last modified 2024-04-19
Similar records


OpenAccess:
Download fulltext PDF
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)