| SpaceEx: Scalable verification of hybrid systems G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ... Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 1113 | 2011 |
| Bayesian robot programming O Lebeltel, P Bessiere, J Diard, E Mazer Autonomous Robots 16 (1), 49-79, 2004 | 258 | 2004 |
| Teaching bayesian behaviours to video game characters R Le Hy, A Arrigoni, P Bessiere, O Lebeltel Robotics and Autonomous Systems 47 (2-3), 177-185, 2004 | 109 | 2004 |
| Programmation bayésienne des robots O Lebeltel Institut National Polytechnique de Grenoble-INPG, 1999 | 81 | 1999 |
| AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic D Ničković, O Lebeltel, O Maler, T Ferrère, D Ulus International Journal on Software Tools for Technology Transfer 22, 741-758, 2020 | 47 | 2020 |
| Interprétation versus Description (I): Proposition pour une théorie probabiliste des systèmes cognitifs sensori-moteurs P Bessiere, E Dedieu, O Lebeltel, E Mazer, K Mekhnacha Intellectica-La revue de l’Association pour la Recherche sur les sciences de …, 1999 | 36 | 1999 |
| Interprétation ou Description (II): Fondements mathématiques de l'approche F+ D P Bessiere, E Dedieu, O Lebeltel, E Mazer, K Mekhnacha Intellectica-La revue de l’Association pour la Recherche sur les sciences de …, 1998 | 23* | 1998 |
| Basic concepts of Bayesian programming P Bessière, O Lebeltel Probabilistic reasoning and decision making in sensory-motor systems, 19-48, 2008 | 17 | 2008 |
| Bayesian programming and hierarchical learning in robotics J Diard, O Lebeltel SAB2000 Proceedings Supplement Book, 10pages, 2000 | 14 | 2000 |
| Bayesian learning experiments with a khepera robot J Diard, O Lebeltel IKW99, 10pages, 1999 | 13 | 1999 |
| A bayesian framework for robotic programming O Lebeltel, J Diard, P Bessiere, E Mazer AIP Conference Proceedings 568 (1), 625-637, 2001 | 10 | 2001 |
| The SpaceEx modeling language S Cotton, G Frehse, O Lebeltel SpaceEx tool, 2010 | 8 | 2010 |
| Parking a car using Bayesian programming PP Su-Jin, O Lebeltel, C Laugier 7th International Conference on Control, Automation, Robotics and Vision …, 2002 | 5 | 2002 |
| Méthode des développements asymptotiques pour un problème de plaque thermoélastique C Lebeltel INRIA, 1989 | 5 | 1989 |
| Wings were not designed to let animals fly E Dedieu, O Lebeltel, P Bessiere Artificial Evolution: Third European Conference AE'97 Nîmes, France, October …, 2005 | 4 | 2005 |
| Exploring the dynamics of mass action systems O Maler, AM Halász, O Lebeltel, O Maler arXiv preprint arXiv:1309.0871, 2013 | 3 | 2013 |
| Bayesian robots programming P Bessiere, O Lebeltel, O Lebeltel, J Diard, J Diard, E Mazer, E Mazer Research Report 1, Les Cahiers du Laboratoire Leibniz, Grenoble (FR, 2000 | 3 | 2000 |
| Testing a Formally Verified Compiler D Monniaux, L Gourdin, S Boulmé, O Lebeltel | 2 | 2023 |
| Safety Analysis of Hybrid Systems with SpaceEx G Frehse, A Donzé, S Cotton, R Ray, O Lebeltel, M Goyal, R Ripado, ... Computational Modeling and Analysis for Complex Systems (CMACS) Seminar. CMACS, 2011 | 2 | 2011 |
| Bayesian Robot Programming O Lebeltel, P Bessière, J Diard, E Mazer CNRS, 2000 | 2 | 2000 |
