Formal Specification and Verification of Multi-Agent Robotics Software Systems – a Case Study

Type de document :
Communication dans un congrès
First International Conference on Agents and Artificial Intelligence (ICAART 2008), Jan 2009, Porto, Portugal. INSTICC, pp.475-482, 2009
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00514755
Contributeur : Flavio Oquendo <>
Soumis le : vendredi 3 septembre 2010 - 08:52:16
Dernière modification le : vendredi 3 septembre 2010 - 11:22:26

Identifiants

  • HAL Id : hal-00514755, version 1

Collections

Citation

Nadeem Akhtar, Yann Le Guyadec, Flavio Oquendo. Formal Specification and Verification of Multi-Agent Robotics Software Systems – a Case Study. First International Conference on Agents and Artificial Intelligence (ICAART 2008), Jan 2009, Porto, Portugal. INSTICC, pp.475-482, 2009. 〈hal-00514755〉

Partager

Métriques

Consultations de la notice

142