620 search results - page 11 / 124 » Verification and Validation and Artificial Intelligence |
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...
AMI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
FLAIRS
2000
13 years 8 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
AIPS
1996
13 years 8 months ago
1996
A key obstacle hampering fielding of AI planning applications is the considerable expense of developing, verifying, updating, and maintaining the planning knowledge base (KB). Pla...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...