کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423010 685161 2006 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Automated Game Analysis via Probabilistic Model Checking: a case study
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Automated Game Analysis via Probabilistic Model Checking: a case study
چکیده انگلیسی

It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models developed for the same purpose. In this paper, we contribute to this burgeoning body of work by showing how a probabilistic model checking tool can be used for the automated analysis of game-like multi-agent systems in which both agents and environments can act with uncertainty. Specifically, we show how a variation of the well-known alternating offers negotiation protocol of Rubinstein can be encoded as a model for the PRISM model checker and its behaviour analysed through automatic verification of probabilistic CTL's properties.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 149, Issue 2, 14 February 2006, Pages 125-137