Open AccessAutomated Analysis of Commitment Protocols Using Probabilistic Model Checking
Author(s) -
Akın Günay,
Songzheng Song,
Yang Liu,
Jie Zhang
Publication year - 2015
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v29i1.9437
Subject(s) - computer science , probabilistic logic , formalism (music) , protocol (science) , model checking , set (abstract data type) , distributed computing , theoretical computer science , artificial intelligence , programming language , medicine , art , musical , alternative medicine , pathology , visual arts