Automated Analysis of Commitment Protocols Using Probabilistic Model Checking.

Akin Gnay, Songzheng Song, Yang Liu, Jie Zhang

Browse the full AAAI paper archive.