Andrey Gorlin

Identifiers

• name variant Andrey Gorlin 0.60 · backfill

Papers (2)

1. XPL: An extended probabilistic logic for probabilistic transition systems cs.LO · 2016 · author #1
2. Model Checking with Probabilistic Tabled Logic Programming cs.LO · 2012 · author #1

Mentions

• 1204.4736 #1 · backfill · confidence 0.70 Andrey Gorlin

Frequent Coauthors

• C. R. Ramakrishnan 1 shared papers
• C.R. Ramakrishnan 1 shared papers
• Scott A. Smolka 1 shared papers