[图书][B] Dynamic epistemic logic
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical
system, but about a whole family of logics that allows us to specify static and dynamic …
system, but about a whole family of logics that allows us to specify static and dynamic …
MCMAS: an open-source model checker for the verification of multi-agent systems
We present MCMAS, a model checker for the verification of multi-agent systems. MCMAS
supports efficient symbolic techniques for the verification of multi-agent systems against …
supports efficient symbolic techniques for the verification of multi-agent systems against …
Verifying autonomous systems
Verifying autonomous systems Page 1 84 commUnications of thE acm | september 2013 | vol.
56 | no. 9 review articles Ill u S tra t Ion b ya lICI ak ub IS ta/ a n D r IJ b or yS a SS o CI a te S …
56 | no. 9 review articles Ill u S tra t Ion b ya lICI ak ub IS ta/ a n D r IJ b or yS a SS o CI a te S …
[HTML][HTML] Digital twin generation: Re-conceptualizing agent systems for behavior-centered cyber-physical system development
C Stary - Sensors, 2021 - mdpi.com
Sensors | Free Full-Text | Digital Twin Generation: Re-Conceptualizing Agent Systems for
Behavior-Centered Cyber-Physical System Development Next Article in Journal An Efficient …
Behavior-Centered Cyber-Physical System Development Next Article in Journal An Efficient …
On different search methods for systematic literature reviews and maps: experiences from a literature search on validation and verification of emergent behavior
[Background] Systematic literature reviews and maps have become well-established
research methods in software engineering research. Of the three commonly suggested and …
research methods in software engineering research. Of the three commonly suggested and …
[图书][B] An introduction to practical formal methods using temporal logic
M Fisher - 2011 - books.google.com
The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …
potentially complex scenarios, temporal logics are often based on a few simple, and …
Model checking agent programming languages
In this paper we describe a verification system for multi-agent programs. This is the first
comprehensive approach to the verification of programs developed using programming …
comprehensive approach to the verification of programs developed using programming …
mcmas: A Model Checker for Multi-agent Systems
A Lomuscio, F Raimondi - … conference on tools and algorithms for the …, 2006 - Springer
This paper presents mcmas, a model checker for Multi-Agent Systems (MAS). Differently
from traditional model checkers, mcmas permits the automatic verification of specifications …
from traditional model checkers, mcmas permits the automatic verification of specifications …
MCMAS-SLK: A model checker for the verification of strategy logic specifications
P Čermák, A Lomuscio, F Mogavero… - … , CAV 2014, Held as Part of …, 2014 - Springer
Abstract Model checking has come of age. A number of techniques are increasingly used in
industrial setting to verify hardware and software systems, both against models and concrete …
industrial setting to verify hardware and software systems, both against models and concrete …
Verifying and synthesising multi-agent systems against one-goal strategy logic specifications
P Čermák, A Lomuscio, A Murano - … of the AAAI Conference on Artificial …, 2015 - ojs.aaai.org
Strategy Logic (SL) has recently come to the fore as a useful specification language to
reason about multi-agent systems. Its one-goal fragment, or SL [1G], is of particular interest …
reason about multi-agent systems. Its one-goal fragment, or SL [1G], is of particular interest …