Vérification formelle et robots mobiles
type: Dataset
description: International audience
issued: 2026-05-11T07:02:26.110855
language: fr
modified: 2026-05-11T07:02:26.110860
contact point: Organization
  fn: CCSD
keyword: conference-papers
keyword: exploration-de-graphes
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-dscomputer-science-csdata-structures-and-algorithms-csds
keyword: model-checking
keyword: robots-mobiles
keyword: ve-rification
landing page: 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel)

Vérification formelle et robots mobiles
type: Distribution
format: HTML
issued: 2026-05-11T07:02:26.135486
modified: 2026-05-11T07:02:26.096803
access URL: https://hal.science/hal-00818707

test_moissonnage_selune
type: Agent