{"type":"rich","version":1.0,"provider_name":"Speaker Deck","provider_url":"https://speakerdeck.com/","title":"Towards Test-Driven Synthesis of Behavioral Programs","author_name":"Giovanni Rosa","author_url":"https://speakerdeck.com/grosa1","html":"\u003ciframe id=\"talk_frame_1555192\" class=\"speakerdeck-iframe\" src=\"https://speakerdeck.com/player/4121e9cf2d4540cd8528d6f5dde48c3e\" width=\"710\" height=\"399\" style=\"aspect-ratio:710/399; border:0; padding:0; margin:0; background:transparent;\" frameborder=\"0\" allowtransparency=\"true\" allowfullscreen=\"allowfullscreen\"\u003e\u003c/iframe\u003e\n","width":710,"height":399,"ratio":1.7777777777777777}