Andrey Gorlin

According to our database, Andrey Gorlin authored at least 3 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Separable GPL: Decidable Model Checking with More Non-Determinism.

Andrey Gorlin, C. R. Ramakrishnan

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2016

XPL: An extended probabilistic logic for probabilistic transition systems.

Andrey Gorlin, C. R. Ramakrishnan

CoRR, 2016

2012

Model checking with probabilistic tabled logic programming.

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

Theory Pract. Log. Program., 2012