529 search results - page 48 / 106 » Model checking detectability of attacks in multiagent system... |
125
click to vote
JAIR
2000
15 years 2 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
135
click to vote
ESWA
2008
15 years 3 months ago
2008
DADICC is the abbreviated name for an intelligent system able to detect on-line and diagnose anomalies as soon as possible in the dynamic evolution of the behaviour of a power pla...
136
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
126
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
The study focuses on a class of discrete-time multi-agent systems modelling opinion dynamics with decaying confidence. Essentially, we propose an agreement protocol that impose a p...
116
click to vote
ACSD
2005
IEEE
15 years 5 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...