52 citations · 217 across the 36 of their papers we have counts for
5 papers · 2 filters
SWITSS: Computing Small Witnessing Subsystems
Simon Jantsch, Hans Harder, Florian Funke +1
Witnessing subsystems for probabilistic reachability thresholds in discrete Markovian models are an important concept both as diagnostic information on why a property holds, and as…
Minimal witnesses for probabilistic timed automata
Simon Jantsch, Florian Funke, Christel Baier
Witnessing subsystems have proven to be a useful concept in the analysis of probabilistic systems, for example as diagnostic information on why a given property holds or as input t…
Iterative Variable Reordering: Taming Huge System Families
Clemens Dubslaff, Andrey Morozov, Christel Baier +1
For the verification of systems using model-checking techniques, symbolic representations based on binary decision diagrams (BDDs) often help to tackle the well-known state-space e…
On Skolem-hardness and saturation points in Markov decision processes
Jakob Piribauer, Christel Baier
The Skolem problem and the related Positivity problem for linear recurrence sequences are outstanding number-theoretic problems whose decidability has been open for many decades. I…
Reduction Methods on Probabilistic Control-flow Programs for Reliability Analysis
Clemens Dubslaff, Andrey Morozov, Christel Baier +1
Modern safety-critical systems are heterogeneous, complex, and highly dynamic. They require reliability evaluation methods that go beyond the classical static methods such as fault…