|
||
---|---|---|
hal-01526659v1
Conference papers
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-01399353v1
Patents
Machine stochastique modulaire et procédé associé France, N° de brevet: FR 16 01463. 2016 |
||
hal-01354836v1
Master thesis
Hardened Golo : Donnez de la confiance en votre code Golo Génie logiciel [cs.SE]. 2016 |
||
hal-01265559v1
Conference papers
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 |
||
hal-01316568v1
Conference papers
Autonomous Robot Controller Using Bitwise GIBBS Sampling 15th IEEE International Conference on COGNITIVE INFORMATICS & COGNITIVE COMPUTING, Aug 2016, Calgary, Canada |
||
|