Witnessing Subsystems for Probabilistic Systems with Low Tree Width.

Simon Jantsch Jakob Piribauer Christel Baier

Published in: GandALF (2021)

Keyphrases

tree width
expert systems
probabilistic model
exact and approximate
programming language
shortest path
structural properties
tree decomposition