Model checking with probabilistic tabled logic programming. - Andrey Gorlin; C. R. Ramakrishnan 001; Scott A. Smolka (Theory Pract. Log. Program., 2012)

XPL: An extended probabilistic logic for probabilistic transition systems. - Andrey Gorlin; C. R. Ramakrishnan 001 (CoRR, 2016)

Separable GPL: Decidable Model Checking with More Non-Determinism. - Andrey Gorlin; C. R. Ramakrishnan 001 (CONCUR, 2018)