24 citations · 97 across the 26 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2021
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference
Steven Holtzen, Sebastian Junges, Marcell Vazquez-Chanlatte +3
We revisit the symbolic verification of Markov chains with respect to finite horizon reachability properties. The prevalent approach iteratively computes step-bounded state reachab…
cs.LO2012★ 5 cited
Algebraic Model Counting
Angelika Kimmig, Guy Van den Broeck, Luc De Raedt
Weighted model counting (WMC) is a well-known inference task on knowledge bases, used for probabilistic inference in graphical models. We introduce algebraic model counting (AMC),…