Weighted Automata for Exact Inference in Discrete Probabilistic Programs

Geißler, Dominik; Winkler, Tobias

doi:WOS:001722455300016

Weighted Automata for Exact Inference in Discrete Probabilistic Programs

Geißler, Dominik (Corresponding author) ; Winkler, Tobias^RWTH*

In
Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings / edited by Zhiming Liu, Adnane Saoud, Heike Wehrheim, Seiten/Artikel-Nr: 261-278

2026 & 2025

Konferenz/Event:22. International Colloquium on Theoretical Aspects of Computing , Marrakech , Morocco , ICTAC 2025 , 2025-11-24 - 2025-11-28

ImpressumCham : Springer Nature Switzerland

Umfang261-278

ISBN978-3-032-11175-3, 978-3-032-11176-0, 978-3-032-11177-7

ReiheLecture Notes in Computer Science ; 16237

First Online: 23 November 2025

Online
DOI: 10.1007/978-3-032-11176-0_16
10.1007/978-3-032-11176-0_16

Einrichtungen

Projekte

GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900) (282652900)

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105023464955
WOS Core Collection: WOS:001722455300016

Interne Identnummern
RWTH-2026-01632
Datensatz-ID: 1028429

Beteiligte Länder
Germany

Related:

Contribution to a book (Erratum/Correction)/Contribution to a conference proceedings Geißler, D. (Corresponding author) ; Winkler, T.RWTH*
Correction to: Weighted Automata for Exact Inference in Discrete Probabilistic Programs
2026Theoretical Aspects of Computing – ICTAC 2025 : 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings / edited by Zhiming Liu, Adnane Saoud, Heike Wehrheim
22. International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, MarrakechMarrakech, Morocco, 24 Nov 2025 - 28 Nov 20252025-11-242025-11-28 Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 16237, C1-C1 (2026) [10.1007/978-3-032-11176-0_29]2026 BibTeX | EndNote: XML, Text | RIS