test_moissonnage_selune
type: Agent

Specifying recursive agents with GDTs
type: Dataset
contact point: Organization
  fn: CCSD
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: infoeu-reposemanticsarticle
keyword: formal-verification
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: recursive-agent
keyword: goal-decomposition-tree
keyword: agent
keyword: infoinfo-macomputer-science-csmultiagent-systems-csma
keyword: journal-articles
landing page: Journal of Autonomous Agents and Multi-agent Systems (JAAMAS)
description: International audience
issued: 2026-05-06T03:21:16.742071
language: en
modified: 2026-05-06T03:21:16.742075

Specifying recursive agents with GDTs
type: Distribution
access URL: https://hal.science/hal-00955953
format: HTML
issued: 2026-05-06T03:21:16.758992
modified: 2026-05-06T03:21:16.732812