{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Baptiste Pelletier - Offline and Runtime Verification of Skill-based Robotic Systems using Petri Nets\" src=\"https://indymotion.fr/videos/embed/84VicosHUvz7QqjCDfURmR\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"Baptiste Pelletier - Offline and Runtime Verification of Skill-based Robotic Systems using Petri Nets","author_name":"ROSConFr 2023","author_url":"https://indymotion.fr/video-channels/rosconfr","provider_name":"PeerTube","provider_url":"https://indymotion.fr","thumbnail_url":"https://indymotion.fr/lazy-static/thumbnails/b7136255-5ac7-4753-ace2-6c69fc3377e8.jpg","thumbnail_width":1280,"thumbnail_height":720}