Model Checking with Probabilistic Tabled Logic Programming

Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka

We present a formulation of the problem of probabilistic model checking as one of query evaluation over probabilistic logic programs. To the best of our knowledge, our formulation…