4 citations · 11 across the 20 of their papers we have counts for
4 papers · 1 filter
Witnessing Subsystems for Probabilistic Systems with Low Tree Width
Simon Jantsch, Jakob Piribauer, Christel Baier
A standard way of justifying that a certain probabilistic property holds in a system is to provide a witnessing subsystem (also called critical subsystem) for the property. Computi…
Witnessing subsystems for probabilistic systems with low tree width
Simon Jantsch, Jakob Piribauer, Christel Baier
A standard way of justifying that a certain probabilistic property holds in a system is to provide a witnessing subsystem (also called critical subsystem) for the property. Computi…
From Verification to Causality-based Explications
Christel Baier, Clemens Dubslaff, Florian Funke +4
In view of the growing complexity of modern software architectures, formal models are increasingly used to understand why a system works the way it does, opposed to simply verifyin…
Probabilistic causes in Markov chains
Christel Baier, Florian Funke, Simon Jantsch +2
The paper studies a probabilistic notion of causes in Markov chains that relies on the counterfactuality principle and the probability-raising property. This notion is motivated by…