| SpaceEx: Scalable verification of hybrid systems G Frehse, C Le Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ... International Conference on Computer Aided Verification, 379-395, 2011 | 854 | 2011 |
| Bayesian robot programming O Lebeltel, P Bessière, J Diard, E Mazer Autonomous Robots 16 (1), 49-79, 2004 | 240 | 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 | 104 | 2004 |
| Programmation bayésienne des robots O Lebeltel | 75 | 1999 |
| 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 | 32 | 1999 |
| Interprétation ou Description (II): Fondements mathématiques de l'approche F+ D P Bessiere, E Dedieu, O Lebeltel, E Mazer, K Mekhnacha | 21* | 1998 |
| 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, 1-18, 2020 | 20 | 2020 |
| Basic concepts of Bayesian programming P Bessière, O Lebeltel Probabilistic reasoning and decision making in sensory-motor systems, 19-48, 2008 | 15 | 2008 |
| Bayesian programming and hierarchical learning in robotics J Diard, O Lebeltel | 13 | 2000 |
| Bayesian learning experiments with a khepera robot J Diard, O Lebeltel | 12 | 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 | 6 | 2010 |
| Wings were not designed to let animals fly E Dedieu, O Lebeltel, P Bessiere European Conference on Artificial Evolution, 235-250, 1997 | 4 | 1997 |
| Méthode des développements asymptotiques pour un problème de plaque thermoélastique C Lebeltel | 4 | 1989 |
| Exploring the dynamics of mass action systems O Maler, AM Halász, O Lebeltel, O Maler arXiv preprint arXiv:1309.0871, 2013 | 3 | 2013 |
| Parking a car using Bayesian Programming PP Su-Jin, O Lebeltel, C Laugier 7th International Conference on Control, Automation, Robotics and Vision …, 2002 | 3 | 2002 |
| Bayesian robots programming P Bessiere, O Lebeltel, J Diard, E Mazer Research Report 1, Les Cahiers du Laboratoire Leibniz, Grenoble (FR, 2000 | 3 | 2000 |
| Exploring Synthetic Mass Action Models O Maler, ÁM Halász, O Lebeltel, O Maler International Workshop on Hybrid Systems Biology, 97-110, 2014 | 1 | 2014 |
| Safety Analysis of Hybrid Systems with SpaceEx G Frehse, A Donzé, S Cotton, R Ray, O Lebeltel, M Goyal, R Ripado, ... CMACS Seminar, 2011 | 1 | 2011 |
| Flambage d'une plaque thermoelastique C Lebeltel | 1 | 1991 |
