SpaceEx: Scalable verification of hybrid systems G Frehse, CL Guernic, A Donzé, S Cotton, R Ray, O Lebeltel, R Ripado, ... International Conference on Computer Aided Verification, 379-395, 2011 | 1025 | 2011 |
Bayesian robot programming O Lebeltel, P Bessiere, J Diard, E Mazer Autonomous Robots 16 (1), 49-79, 2004 | 257 | 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 | 105 | 2004 |
Programmation bayésienne des robots O Lebeltel Institut National Polytechnique de Grenoble-INPG, 1999 | 76 | 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 (6), 741-758, 2020 | 39 | 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 | 33 | 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 | 18* | 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 | 11 | 2001 |
The SpaceEx modeling language S Cotton, G Frehse, O Lebeltel SpaceEx tool, 2010 | 8 | 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 |
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 |
Méthode des développements asymptotiques pour un problème de plaque thermoélastique C Lebeltel INRIA, 1989 | 3 | 1989 |
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 INRIA, 1991 | 1 | 1991 |