关注
Baptiste Pelletier
Baptiste Pelletier
PhD Candidate - ONERA, The French Aerospace Lab, Toulouse
在 onera.fr 的电子邮件经过验证
标题
引用次数
引用次数
年份
Predictive Runtime Verification of Skill-based Robotic Systems using Petri Nets
B Pelletier, C Lesire, C Grand, D Doose, M Rognant
2023 IEEE International Conference on Robotics and Automation (ICRA), 10580 …, 2023
42023
SkiNet, a petri net generation tool for the verification of skillset-based autonomous systems
B Pelletier, C Lesire, D Doose, K Godary-Dejean, C Dramé-Maigné
EPTCS 2022-Electronic Proceedings in Theoretical Computer Science 371, 120-138, 2022
12022
NUMERICAL INVESTIGATION OF THE LIMITING OXYGEN CONCENTRATION OF FLAME SPREADING OVER POLYETHYLENE INSULATED NICR WIRE IN MICROGRAVITY
B PELLETIER
系统目前无法执行此操作，请稍后再试。
文章 1–3