3 citations · 6 across the 4 of their papers we have counts for
5 papers · 1 filter
Model Checking AORTA: Verification of Organization-Aware Agents
Andreas Schmidt Jensen
As agent systems grow larger and more complex, there is an increasing need to formally verify them. Furthermore, it is often suggested that complex systems can be regulated using o…
Multi-Agent Programming Contest 2012 - The Python-DTU Team
Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne +3
We provide a brief description of the Python-DTU system, including the overall design, the tools and the algorithms that we plan to use in the agent contest.
An Investigation of the Advantages of Organization-Centered Multi-Agent Systems
Andreas Schmidt Jensen
Whereas classical multi-agent systems have the agent in center, there have recently been a development towards focusing more on the organization of the system. This allows the desi…
Implementing Lego Agents Using Jason
Andreas Schmidt Jensen
Since many of the currently available multi-agent frameworks are generally mostly intended for research, it can be difficult to built multi-agent systems using physical robots. In…
Developing Artificial Herders Using Jason
Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen
This paper gives an overview of a proposed strategy for the "Cows and Herders" scenario given in the Multi-Agent Programming Contest 2009. The strategy is to be implemented using t…