Andrey Gorlin

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 2

Top Topics

Formal Specification

Probabilistic Logic

Top Venues

Theory Pract. Log. Program.

Publications

Andrey Gorlin, C. R. Ramakrishnan
Separable GPL: Decidable Model Checking with More Non-Determinism. CONCUR (2018)
Andrey Gorlin, C. R. Ramakrishnan
XPL: An extended probabilistic logic for probabilistic transition systems. CoRR (2016)
Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka
Model Checking with Probabilistic Tabled Logic Programming CoRR (2012)
Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka
Model checking with probabilistic tabled logic programming. Theory Pract. Log. Program. 12 (4-5) (2012)