ML Anthology

Song, Songzheng

1 publications

AAAI 2015 Automated Analysis of Commitment Protocols Using Probabilistic Model Checking Akin Günay, Songzheng Song, Yang Liu, Jie Zhang