Jordan Torf

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Probabilistic Logic

Posterior Probability

Probabilistic Reasoning

Belief Networks

Top Venues

Publications

Lenore D. Zuck, Kenneth L. McMillan, Jordan Torf
P^5 : Planner-less Proofs of Probabilistic Parameterized Protocols. VMCAI (2018)