Gast ::
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
; ; ;
In
POPL
In
Proceedings of the ACM on programming languages : (PACMPL) 8, Seiten/Artikel-Nr.:93
2024
Online
DOI: 10.1145/3632935
DOI: 10.18154/RWTH-2024-01610
URL: https://publications.rwth-aachen.de/record/979194/files/979194.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Graduiertenkolleg UnRAVeL (080060)
- Fachgruppe Informatik (120000)
Projekte
- FRAPPANT - Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation (787914) (787914)
- GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900) (282652900)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article/Contribution to a conference proceedings
Format
online
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85183077292
WOS Core Collection: WOS:001170729400094
OpenAlex: W4390605315
Interne Identnummern
RWTH-2024-01610
Datensatz-ID: 979194
Beteiligte Länder
Germany
; 
; 
; Clarivate Analytics Master Journal List ; Emerging Sources Citation Index ; IF < 5 ; JCR ; SCOPUS ; Web of Science Core Collection
PDF