{"id":10131,"date":"2021-11-18T10:29:35","date_gmt":"2021-11-18T10:29:35","guid":{"rendered":"https:\/\/direc.dk\/direc-talks-formal-verification-and-machine-learning-forces\/"},"modified":"2023-03-09T11:13:27","modified_gmt":"2023-03-09T11:13:27","slug":"direc-talks-formal-verification-and-machine-learning-forces","status":"publish","type":"post","link":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/","title":{"rendered":"DIREC TALKS: Formal Verification and Machine Learning Joining Forces"},"content":{"rendered":"\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t\t\t
<\/div>\n\t\t\t\t\t\t
\n\t\t\t\n\t\n\t\n\t\n<\/svg>\t\t<\/div>\n\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\"\"\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t

Formal Verification and Machine Learning Joining Forces<\/h1>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

The growing pervasiveness of computerised systems such as intelligent traffic control or energy supply makes our society vulnerable to faults or attacks on such systems. Rigorous software engineering methods and supporting efficient verification tools are crucial to encounter this threat.<\/p>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t

\n\t\t\t
\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t
<\/div>\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t
\n\t\t\t
<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t
\n\t\t\t
<\/div>\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t
\n\t\t\t
<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t
<\/div>\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t
\n\t\t\t
<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

In this DIREC talk Kim Guldstrand Larsen will present and discuss how to combine formal verification and AI in order to obtain optimal AND guaranteed safe strategies.<\/p>\n

The ultimate goal of synthesis is to disrupt traditional software development. Rather than tedious manual programming with endless testing and revision effort, synthesis comes with the promise of automatic correct-by-construction control software.<\/p>\n

In formal verification synthesis has a long history for discrete systems dating back to Church’s problem concerning realization of logic specifications by automata. Within AI the use of (deep) reinforcement learning (Q- and M-learning) has emerged as a popular method for learning optimal control strategies through training, e.g. as applied by autonomous driving.<\/p>\n

The formal verification approach and the AI approach to synthesis are highly complementary: Formal verification synthesis comes with absolute guarantees but are computationally expensive with resulting strategies being extremely large. In contrast, AI synthesis comes with no guarantees but is highly scalable with neural networks providing compact strategy representation.<\/p>\n

Kim Guldstrand Larsen will present the tool UPPAAL Stratego that combines symbolic techniques with reinforcement learning to achieve (near-)optimality and safety for hybrid Markov decision processes and highlight some of the applications that include water management, traffic light control, and energy aware building.<\/p>\n

Emphasis will be on the challenges of implementing learning algorithms, argue for their convergence and designing data structures for compact and understandable strategy representation.<\/p>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t

\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t\t
<\/div>\n\t\t\t\t
<\/div>\n\t\t\t<\/div>\n\t\t\t\t\t\t\t
\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t

\n\t\t\t\t\t\tKIM GULDSTRAND LARSEN\t\t\t\t\t<\/h2>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t
\n\t\t\t\t\t\t

PROFESSOR OF COMPUTER SCIENCE,
\nAALBORG UNIVERSITY <\/p>\n\t\t\t\t\t<\/div>\n\t\t\t\t\n\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t\t

\n\t\t\t\t
\n\t\t\t\t\tSpeaker\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
\n\t\t\t\t\t\t\t
<\/div>\n\t\t\t\t\t\t
\n\t\t\t\n\t\n\t\n\t\n<\/svg>\t\t<\/div>\n\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t
\n\n\t\t\t\t\t\t
\n\t\t\t\t\n\t\t\t\t<\/i>\t\t\t\t<\/span>\n\t\t\t<\/div>\n\t\t\t\n\t\t\t\t\t\t
\n\n\t\t\t\t\t\t\t\t\t

\n\t\t\t\t\t\t\n\t\t\t\t\t\t\tKIM GULDSTRAND LARSEN\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/h3>\n\t\t\t\t\n\t\t\t\t\t\t\t\t\t

\n\t\t\t\t\t\tKim Guldstrand Larsen is a Professor of Computer Science at Aalborg University since 1993. He received Honorary Doctorate from Uppsala University (1999), ENS Cachan (2007), International Chair at INRIA (2016) and Distinguished Professor at North-Eastern University, Shenyang, China (2018). His research interests cover modeling, verification, performance analysis of real-time and embedded systems with applications to concurrency theory, model checking and machine learning.\r\n\u00a0

\r\nHe is the prime investigator of the verification tool UPPAAL for which he received the CAV Award in 2013. Other prizes received include Danish Citation Laureates Award, Thomson Scientific Award as the most cited Danish Computer Scientist in the period 1990-2004 (2005), Grundfos Prize (2016), Ridder af Dannebrog (2007). He is member of the Royal Danish Academy of Sciences and Letters, The Danish Academy of Technical Science, where he is Digital wiseman. Also, he is member of the Academia Europaea.

\r\nIn 2015 he received the prestigious ERC Advanced Grant (LASSO), and in 2021 he won Villum Investigator Grant (S4OS). \u00a0He has been PI and director of several large centers and initiatives including CISS (Center for Embedded Software systems, 2002-2008), MT-LAB (Villum-Kahn Rasmussen Center of Excellence, 2009-2013), IDEA4CPS (Danish-Chinese Research Center, 2011-2017), INFINIT National ICT Innovation Network, 2009-2020), DiCyPS (Innovation Fund Center, 2015-2021). Finally, he is co-founder of the companies UP4ALL (2000), ATS (2017) and VeriAal (2020).\t\t\t\t\t<\/p>\n\t\t\t\t\n\t\t\t<\/div>\n\t\t\t\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t

\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t
\n\t\t\t\t\t\n\t\t\t\t\t\t\n\t\t\t\t\t\t\n\t\t\t\t<\/i>\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\tMore information<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"

In this DIREC talk Kim Guldstrand Larsen presentsand discusses how to combine formal verification and AI in order to obtain optimal AND guaranteed safe strategies.<\/p>\n","protected":false},"author":3,"featured_media":10034,"comment_status":"open","ping_status":"open","sticky":false,"template":"elementor_header_footer","format":"standard","meta":{"footnotes":""},"categories":[41],"tags":[],"class_list":["post-10131","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-direc-talks-da"],"yoast_head":"\nDIREC TALKS: Formal Verification and Machine Learning Joining Forces - DIREC<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/\" \/>\n<meta property=\"og:locale\" content=\"da_DK\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DIREC TALKS: Formal Verification and Machine Learning Joining Forces - DIREC\" \/>\n<meta property=\"og:description\" content=\"In this DIREC talk Kim Guldstrand Larsen presentsand discusses how to combine formal verification and AI in order to obtain optimal AND guaranteed safe strategies.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/\" \/>\n<meta property=\"og:site_name\" content=\"DIREC\" \/>\n<meta property=\"article:published_time\" content=\"2021-11-18T10:29:35+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-03-09T11:13:27+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/direc.dk\/wp-content\/uploads\/2021\/11\/DIREC-TALKS_Speaker_Kim-guldstrand.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1920\" \/>\n\t<meta property=\"og:image:height\" content=\"1080\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Susanne Br\u00f8ndberg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Skrevet af\" \/>\n\t<meta name=\"twitter:data1\" content=\"Susanne Br\u00f8ndberg\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimeret l\u00e6setid\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutter\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/\"},\"author\":{\"name\":\"Susanne Br\u00f8ndberg\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/person\\\/3fcdff2b9bc83fcb7b642fa67a946f38\"},\"headline\":\"DIREC TALKS: Formal Verification and Machine Learning Joining Forces\",\"datePublished\":\"2021-11-18T10:29:35+00:00\",\"dateModified\":\"2023-03-09T11:13:27+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/\"},\"wordCount\":513,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2021\\\/11\\\/DIREC-TALKS_Speaker_Kim-guldstrand.jpg\",\"articleSection\":[\"DIREC TALKS\"],\"inLanguage\":\"da-DK\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/\",\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/\",\"name\":\"DIREC TALKS: Formal Verification and Machine Learning Joining Forces - DIREC\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2021\\\/11\\\/DIREC-TALKS_Speaker_Kim-guldstrand.jpg\",\"datePublished\":\"2021-11-18T10:29:35+00:00\",\"dateModified\":\"2023-03-09T11:13:27+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/#breadcrumb\"},\"inLanguage\":\"da-DK\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"da-DK\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/#primaryimage\",\"url\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2021\\\/11\\\/DIREC-TALKS_Speaker_Kim-guldstrand.jpg\",\"contentUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2021\\\/11\\\/DIREC-TALKS_Speaker_Kim-guldstrand.jpg\",\"width\":1920,\"height\":1080},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/direc-talks-formal-verification-and-machine-learning-forces\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/direc.dk\\\/da\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"DIREC TALKS: Formal Verification and Machine Learning Joining Forces\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#website\",\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/\",\"name\":\"DIREC\",\"description\":\"Digital Research Centre Denmark\",\"publisher\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/direc.dk\\\/da\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"da-DK\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#organization\",\"name\":\"DIREC\",\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"da-DK\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2021\\\/02\\\/DIREC_logo_2023_bla.png\",\"contentUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2021\\\/02\\\/DIREC_logo_2023_bla.png\",\"width\":2786,\"height\":786,\"caption\":\"DIREC\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/person\\\/3fcdff2b9bc83fcb7b642fa67a946f38\",\"name\":\"Susanne Br\u00f8ndberg\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"da-DK\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g\",\"caption\":\"Susanne Br\u00f8ndberg\"},\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/author\\\/susanne\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"DIREC TALKS: Formal Verification and Machine Learning Joining Forces - DIREC","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/","og_locale":"da_DK","og_type":"article","og_title":"DIREC TALKS: Formal Verification and Machine Learning Joining Forces - DIREC","og_description":"In this DIREC talk Kim Guldstrand Larsen presentsand discusses how to combine formal verification and AI in order to obtain optimal AND guaranteed safe strategies.","og_url":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/","og_site_name":"DIREC","article_published_time":"2021-11-18T10:29:35+00:00","article_modified_time":"2023-03-09T11:13:27+00:00","og_image":[{"width":1920,"height":1080,"url":"https:\/\/direc.dk\/wp-content\/uploads\/2021\/11\/DIREC-TALKS_Speaker_Kim-guldstrand.jpg","type":"image\/jpeg"}],"author":"Susanne Br\u00f8ndberg","twitter_card":"summary_large_image","twitter_misc":{"Skrevet af":"Susanne Br\u00f8ndberg","Estimeret l\u00e6setid":"3 minutter"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/#article","isPartOf":{"@id":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/"},"author":{"name":"Susanne Br\u00f8ndberg","@id":"https:\/\/direc.dk\/da\/#\/schema\/person\/3fcdff2b9bc83fcb7b642fa67a946f38"},"headline":"DIREC TALKS: Formal Verification and Machine Learning Joining Forces","datePublished":"2021-11-18T10:29:35+00:00","dateModified":"2023-03-09T11:13:27+00:00","mainEntityOfPage":{"@id":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/"},"wordCount":513,"commentCount":0,"publisher":{"@id":"https:\/\/direc.dk\/da\/#organization"},"image":{"@id":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/#primaryimage"},"thumbnailUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2021\/11\/DIREC-TALKS_Speaker_Kim-guldstrand.jpg","articleSection":["DIREC TALKS"],"inLanguage":"da-DK","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/","url":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/","name":"DIREC TALKS: Formal Verification and Machine Learning Joining Forces - DIREC","isPartOf":{"@id":"https:\/\/direc.dk\/da\/#website"},"primaryImageOfPage":{"@id":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/#primaryimage"},"image":{"@id":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/#primaryimage"},"thumbnailUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2021\/11\/DIREC-TALKS_Speaker_Kim-guldstrand.jpg","datePublished":"2021-11-18T10:29:35+00:00","dateModified":"2023-03-09T11:13:27+00:00","breadcrumb":{"@id":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/#breadcrumb"},"inLanguage":"da-DK","potentialAction":[{"@type":"ReadAction","target":["https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/"]}]},{"@type":"ImageObject","inLanguage":"da-DK","@id":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/#primaryimage","url":"https:\/\/direc.dk\/wp-content\/uploads\/2021\/11\/DIREC-TALKS_Speaker_Kim-guldstrand.jpg","contentUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2021\/11\/DIREC-TALKS_Speaker_Kim-guldstrand.jpg","width":1920,"height":1080},{"@type":"BreadcrumbList","@id":"https:\/\/direc.dk\/da\/direc-talks-formal-verification-and-machine-learning-forces\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/direc.dk\/da\/"},{"@type":"ListItem","position":2,"name":"DIREC TALKS: Formal Verification and Machine Learning Joining Forces"}]},{"@type":"WebSite","@id":"https:\/\/direc.dk\/da\/#website","url":"https:\/\/direc.dk\/da\/","name":"DIREC","description":"Digital Research Centre Denmark","publisher":{"@id":"https:\/\/direc.dk\/da\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/direc.dk\/da\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"da-DK"},{"@type":"Organization","@id":"https:\/\/direc.dk\/da\/#organization","name":"DIREC","url":"https:\/\/direc.dk\/da\/","logo":{"@type":"ImageObject","inLanguage":"da-DK","@id":"https:\/\/direc.dk\/da\/#\/schema\/logo\/image\/","url":"https:\/\/direc.dk\/wp-content\/uploads\/2021\/02\/DIREC_logo_2023_bla.png","contentUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2021\/02\/DIREC_logo_2023_bla.png","width":2786,"height":786,"caption":"DIREC"},"image":{"@id":"https:\/\/direc.dk\/da\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/direc.dk\/da\/#\/schema\/person\/3fcdff2b9bc83fcb7b642fa67a946f38","name":"Susanne Br\u00f8ndberg","image":{"@type":"ImageObject","inLanguage":"da-DK","@id":"https:\/\/secure.gravatar.com\/avatar\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g","caption":"Susanne Br\u00f8ndberg"},"url":"https:\/\/direc.dk\/da\/author\/susanne\/"}]}},"dynamic_page_title":"","dynamic_page_description":"","dynamic_page_partners":"","dynamic_page_scientific_impact":"","dynamic_page_people":"","dynamic_page_project_period":"","dynamic_page_funding":"","dynamic_page_publications":"","dynamic_page_cover_image":"","_links":{"self":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/10131","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/comments?post=10131"}],"version-history":[{"count":10,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/10131\/revisions"}],"predecessor-version":[{"id":14670,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/10131\/revisions\/14670"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/media\/10034"}],"wp:attachment":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/media?parent=10131"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/categories?post=10131"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/tags?post=10131"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}