Günay, Akin

3 publications

IJCAI 2017 Tosca: Operationalizing Commitments over Information Protocols Thomas C. King, Akin Günay, Amit K. Chopra, Munindar P. Singh

JAIR 2016 ProMoca: Probabilistic Modeling and Analysis of Agents in Commitment Protocols Akin Günay, Yang Liu, Jie Zhang

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