SIG-SoS

Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models

작성자
selab
작성일
2016-05-24 04:01
조회
153
Title: Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models

Published In: Agent and Multi-Agent Systems: Technologies and Applications pp 151-160

Authors: Christian Kroiß

Abstract:
In this paper we introduce a new approach for multi-agent simulation and statistical model checking that allows the use of very generic logical models based on the well-established situation calculus to describe the behavior of agents in the context of their environment. A consequent logic-based framework is achieved by combining the situation calculus with a first order version of bounded linear time logic (BLTL) as a property specification language. This creates a much more expressive and flexible modeling-verification workflow than existing solutions.