Baptiste Pelletier

Baptiste Pelletier

Office national d'études et de recherches aérospatiales - Palaiseau / France
Engineering & Technology / Aerospace Engineering
AD Scientific Index ID: 5214357
National Office for Aerospace Studies and Research
person_outline Baptiste Pelletier's MOST POPULAR ARTICLES
1-) Predictive Runtime Verification of Skill-based Robotic Systems using Petri NetsB Pelletier, C Lesire, C Grand, D Doose, M Rognant2023 IEEE International Conference on Robotics and Automation (ICRA), 10580 …, 202312023
2-) SkiNet, a petri net generation tool for the verification of skillset-based autonomous systemsB Pelletier, C Lesire, D Doose, K Godary-Dejean, C Dramé-MaignéEPTCS 2022-Electronic Proceedings in Theoretical Computer Science 371, 120-138, 202212022
3-) NUMERICAL INVESTIGATION OF THE LIMITING OXYGEN CONCENTRATION OF FLAME SPREADING OVER POLYETHYLENE INSULATED NICR WIRE IN MICROGRAVITYB PELLETIER