کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6873765 1440704 2018 27 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Practical verification of multi-agent systems against Slk specifications
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Practical verification of multi-agent systems against Slk specifications
چکیده انگلیسی
We introduce Strategy Logic with Knowledge, a novel formalism to reason about knowledge and strategic ability in memoryless multi-agent systems with incomplete information. We exemplify its expressive power; we define the model checking problem for the logic and show that it is PSpace-complete. We propose a labelling algorithm for solving the verification problem that we show is amenable to symbolic implementation. We introduce , an extension of the open-source model checker MCMAS, implementing the proposed algorithm. We report the benchmarks obtained on a number of scenarios from the literature, including the dining cryptographers protocol.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 261, Part 3, August 2018, Pages 588-614
نویسندگان
, , , ,