Open AccessA stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants
Author(s) -
Ahmed Hadj Kacem,
Zeineb Graja,
Frédéric Migeon,
Christine Maurel,
Marie Pierre Gleizes
Publication year - 2016
Publication title -
international journal of agent-oriented software engineering
Language(s) - English
Resource type - Journals
eISSN - 1746-1383
pISSN - 1746-1375
DOI - 10.1504/ijaose.2016.10001862
Subject(s) - correctness , computer science , foraging , temporal logic , linear temporal logic , event (particle physics) , multi agent system , artificial intelligence , work (physics) , theoretical computer science , programming language , ecology , engineering , mechanical engineering , biology , physics , quantum mechanics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom