Olivier Lebeltel

According to our database, Olivier Lebeltel authored at least 13 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Testing a Formally Verified Compiler.

David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel

Proceedings of the Tests and Proofs - 17th International Conference, 2023

2020

AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.

Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus

Int. J. Softw. Tools Technol. Transf., 2020

2014

Formal and Informal Methods for Multi-Core Design Space Exploration.

Jean-Francois Kempf, Olivier Lebeltel, Oded Maler

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

Exploring Synthetic Mass Action Models.

Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler

Proceedings of the Hybrid Systems Biology, 2014

2013

Exploring the Dynamics of Mass Action Systems.

Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler

Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

2011

SpaceEx: Scalable Verification of Hybrid Systems.

Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2008

Basic Concepts of Bayesian Programming.

Pierre Bessière, Olivier Lebeltel

Proceedings of the Probabilistic Reasoning and Decision Making in Sensory-Motor Systems, 2008

2004

Programmation bayésienne des robots.

Olivier Lebeltel, Pierre Bessière, Julien Diard, Emmanuel Mazer

Rev. d'Intelligence Artif., 2004

Teaching Bayesian behaviours to video game characters.

Ronan Le Hy, Anthony Arrigoni, Pierre Bessière, Olivier Lebeltel

Robotics Auton. Syst., 2004

Bayesian Robot Programming.

Olivier Lebeltel, Pierre Bessière, Julien Diard, Emmanuel Mazer

Auton. Robots, 2004

2002

Parking a car using Bayesian Programming.

Priscilla Pek Su-Jin, Olivier Lebeltel, Christian Laugier

Proceedings of the Seventh International Conference on Control, 2002

1999

Programmation Bayésienne des Robots. (Bayesian Robot Programming).

Olivier Lebeltel

PhD thesis, 1999

1997

Wings Were Not Designed to Let Animals Fly.

Eric Dedieu, Olivier Lebeltel, Pierre Bessière

Proceedings of the Artificial Evolution, Third European Conference, 1997