Recherche

Romain Bourneuf, est doctorant en première année dans l'équipe GO (département CombAlgo). Avec ses co-auteurs Pierre Charbit (IRIF Paris) et Stephan

Une approche mathématique des lois de la robotique d’Isaac Asimov Pierre-Brice Wieber Visio: https://u-bordeaux-fr.zoom.us/j/83483228567 https://r4

Le séminaire NUMERICS, séminaire transdisciplinaire sur la culture scientifique et les enjeux sociétaux du Numérique, aura lieu dans l’amphi du LaBRI

Algorithmes et architecture pour le contrôle de l'exploration d'une zone par une flotte de sous-marins autonomes. Antoine Milot Visio: https://u

Aurélie Bugeau, en compagnie de Clément Marquet, Gianluca Marzilli, Yann Pennec et Raphaël Roge, animeront la table ronde sur le thème de « IA
Journées SeqBIM 2022 (17 et 18 novembre 2022).

I am interested in verification of distributed systems with an unbounded number of agents running the same finite-state program. These include systems

Soutenance de thèse de Galadriel Brière
Au regard de la situation sanitaire, la Robocup 2020, qui devait se dérouler à Bordeaux, est reportée en juin 2023. L'édition 2021 se tiendra