Olivier Lebeltel

14 papers A* 1C 2Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2023 C conf
Testing a Formally Verified Compiler.
TAP
David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel
2020 J jnl
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic.
Int. J. Softw. Tools Technol. Transf.
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
2018 — conf
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.
TACAS (2)
Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrère, Dogan Ulus
2014 — conf
Exploring Synthetic Mass Action Models.
HSB
Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler
2014 — conf
Formal and Informal Methods for Multi-Core Design Space Exploration.
QAPL
Jean-Francois Kempf, Olivier Lebeltel, Oded Maler
2013 — conf
Exploring the Dynamics of Mass Action Systems.
HSB
Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler
2011 A* conf
SpaceEx: Scalable Verification of Hybrid Systems.
CAV
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
2008 — ch.
Basic Concepts of Bayesian Programming.
Probabilistic Reasoning and Decision Making in Sensory-Motor Systems
Pierre Bessière, Olivier Lebeltel
2004 J jnl
Bayesian Robot Programming.
Auton. Robots
Olivier Lebeltel, Pierre Bessière, Julien Diard, Emmanuel Mazer
2004 J jnl
Programmation bayésienne des robots.
Rev. d'Intelligence Artif.
Olivier Lebeltel, Pierre Bessière, Julien Diard, Emmanuel Mazer
2004 J jnl
Teaching Bayesian behaviours to video game characters.
Robotics Auton. Syst.
Ronan Le Hy, Anthony Arrigoni, Pierre Bessière, Olivier Lebeltel
2002 C conf
Parking a car using Bayesian Programming.
ICARCV
Priscilla Pek Su-Jin, Olivier Lebeltel, Christian Laugier
1999 — —
Programmation Bayésienne des Robots. (Bayesian Robot Programming).
Olivier Lebeltel
1997 — conf
Wings Were Not Designed to Let Animals Fly.
Artificial Evolution
Eric Dedieu, Olivier Lebeltel, Pierre Bessière