248 search results - page 3 / 50 » A Model-Theoretic Approach to the Verification of Situated R... |
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
KR
2000
Springer
13 years 9 months ago
2000
Springer
The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with ...
DSD
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
RSCTC
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. An approach to a multi-facet task of situation identification by Unmanned Aerial Vehicle (UAV) is presented. The concept of multi-layered identification system based on s...
ENTCS
2006
13 years 5 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...