264 search results - page 1 / 53 » Verifying Dribble Agents |
DALT
2009
Springer
14 years 1 days ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...
ATAL
2003
Springer
14 years 20 days ago
2003
Springer
ROBOCUP
2001
Springer
13 years 12 months ago
2001
Springer
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
CLIMA
2011
12 years 7 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
154
click to vote
ICSE
2012
IEEE-ACM
11 years 9 months ago
2012
IEEE-ACM
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...