Witnessing subsystems for probabilistic systems with low tree width
From MaRDI portal
Publication:6649513
DOI10.4204/eptcs.346.3MaRDI QIDQ6649513
Simon Jantsch, Jakob Piribauer, Christel Baier
Publication date: 6 December 2024
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
This page was built for publication: Witnessing subsystems for probabilistic systems with low tree width
