245 search results - page 15 / 49 » Dynamic Model Checking for Multi-agent Systems |
DSRT
2003
IEEE
14 years 20 days ago
2003
IEEE
Distributed simulation enables participants situated in different geographical locations to share a common virtual world, which is called a Distributed Virtual Environment (DVE). ...
ATAL
2006
Springer
13 years 11 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. ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
IAT
2008
IEEE
14 years 1 months ago
2008
IEEE
Logic Programming Update Languages were proposed as an extension of logic programming, which allow for modelling the dynamics of knowledge bases where both extensional knowledge (...