Olivier Lebeltel

According to our database1, Olivier Lebeltel authored at least 11 papers between 1997 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2014
Formal and Informal Methods for Multi-Core Design Space Exploration.
Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

Exploring Synthetic Mass Action Models.
Proceedings of the Hybrid Systems Biology, 2014

2013
Exploring the Dynamics of Mass Action Systems.
Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

2011
SpaceEx: Scalable Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2004
Programmation bayésienne des robots.
Revue d'Intelligence Artificielle, 2004

Teaching Bayesian behaviours to video game characters.
Robotics and Autonomous Systems, 2004

Bayesian Robot Programming.
Auton. Robots, 2004

2002
Parking a car using Bayesian Programming.
Proceedings of the Seventh International Conference on Control, 2002

1999
Programmation Bayésienne des Robots. (Bayesian Robot Programming).
PhD thesis, 1999

1997
Wings Were Not Designed to Let Animals Fly.
Proceedings of the Artificial Evolution, Third European Conference, 1997


  Loading...