Modeling Biology Inspired Reactive Agents Using X-machines

  title={Modeling Biology Inspired Reactive Agents Using X-machines},
  author={George Eleftherakis and Petros Kefalas and Anna Sotiriadou and Evangelos Kehris},
  booktitle={International Conference on Computational Intelligence},
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a powerful way in the design of agent-based systems. The software engineering research has highlighted a number of important issues: the importance of the type of modeling technique used; the careful design of the model to enable powerful testing techniques to be used; the automated verification of the behavioural… CONTINUE READING


Publications referenced by this paper.

Similar Papers

Loading similar papers…