25 citations · 99 across the 22 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Towards realistic large random models of labeled transition systems and their 0-1 laws
Milan Lopuhaä-Zwakenberg
Model checking is the automated verification of properties (specified in some modal logic) in labeled transition systems (LTSs); it is an essential tool in ensuring software system…
cs.AI2026
Actual causality in fault trees
Georgiana Caltais, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga
Fault trees are a widely used as effective risk models for complex systems, answering the question "what can go wrong?", especially through minimal cut set analysis. We study fault…