264 search results - page 1 / 53 » Verifying Dribble Agents |
118
Voted
DALT
2009
Springer
15 years 2 months 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
15 years 3 months ago
2003
Springer
ROBOCUP
2001
Springer
15 years 2 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 ...
152
click to vote
CLIMA
2011
13 years 10 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...
301
Voted
ICSE
2012
IEEE-ACM
13 years 15 days 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...