Skip to Main content Skip to Navigation
  1. Search


...
hal-01526659v1  Conference papers
Oscar Carrillo, Nicolas Stouls, Raphael Laurent, Nikolai Plokhoi, Qifan Zhou et al.  HardenedGolo : pour augmenter le niveau de confiance en un code Golo
16èmes journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'17), Jun 2017, Montpellier, France
...
hal-01354836v1  Master thesis
Raphael Laurent. Hardened Golo : Donnez de la confiance en votre code Golo
Génie logiciel [cs.SE]. 2016
...
hal-01316568v1  Conference papers
Rémi Canillas, Raphael Laurent, Marvin Faix, Dominique Vaufreydaz, Emmanuel Mazer. Autonomous Robot Controller Using Bitwise GIBBS Sampling
15th IEEE International Conference on COGNITIVE INFORMATICS & COGNITIVE COMPUTING, Aug 2016, Calgary, Canada
...
hal-01265559v1  Conference papers
Marvin Faix, Jorge Lobo, Raphael Laurent, Dominique Vaufreydaz, Emmanuel Mazer. Stochastic Bayesian Computation for Autonomous Robot Sensorimotor System
Workshop on Unconventional Computing for Bayesian Inference (UCBI) at IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015), Sep 2015, Hambourg, Germany