1463 search results - page 8 / 293 » Model Checking Implicit-Invocation Systems |
144
Voted
QEST
2010
IEEE
15 years 1 days ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
152
Voted
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
127
Voted
ASE
2004
15 years 2 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
136
Voted
IANDC
2011
14 years 9 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
109
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...