{"id":13230,"date":"2021-03-17T10:53:15","date_gmt":"2021-03-17T10:53:15","guid":{"rendered":"https:\/\/direc.dk\/?p=13230"},"modified":"2025-11-17T12:06:18","modified_gmt":"2025-11-17T12:06:18","slug":"verifiable-and-safe-ai-for-autonomous-systems","status":"publish","type":"post","link":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/","title":{"rendered":"Verifiable and Safe AI for Autonomous Systems"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"13230\" class=\"elementor elementor-13230 elementor-13226\" data-elementor-post-type=\"post\">\n\t\t\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-1ad01fad elementor-section-height-min-height elementor-section-items-stretch elementor-section-content-middle elementor-reverse-mobile elementor-reverse-tablet elementor-section-full_width elementor-section-height-default\" data-id=\"1ad01fad\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-4b924bf\" data-id=\"4b924bf\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-inner-section elementor-element elementor-element-59b3b2bc elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"59b3b2bc\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-inner-column elementor-element elementor-element-376c7fb9\" data-id=\"376c7fb9\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-18ac37eb elementor-widget elementor-widget-heading\" data-id=\"18ac37eb\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">DIREC-projekt<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-2abf2d38 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"2abf2d38\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeIn&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">Verifiable and safe ai for autonomous systems<\/h1>\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<div class=\"elementor-column elementor-col-50 elementor-inner-column elementor-element elementor-element-3650d724\" data-id=\"3650d724\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\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\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-56decfc4 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"56decfc4\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-42421146\" data-id=\"42421146\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-3ccef371 elementor-widget elementor-widget-heading\" data-id=\"3ccef371\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">Resum\u00e9<\/h4>\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<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-99ec3be\" data-id=\"99ec3be\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-1d143580 elementor-widget elementor-widget-text-editor\" data-id=\"1d143580\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Den hastigt voksende anvendelse af maskinl\u00e6ringsteknikker i cyberfysiske systemer f\u00f8rer til bedre l\u00f8sninger og produkter med hensyn til tilpasningsevne, ydeevne, effektivitet, funktionalitet og brugervenlighed.<br \/>Cyberfysiske systemer er dog ofte sikkerhedskritiske, fx selvk\u00f8rende biler eller medicinsk udstyr, og behovet for verifikation mod potentielt d\u00f8dsulykker er af afg\u00f8rende betydning.<\/p>\n<p>Sammen med virksomhedsdeltagerne har dette projekt til form\u00e5l at udvikle metoder og v\u00e6rkt\u00f8jer, der vil s\u00e6tte industrien i stand til automatisk at sammens\u00e6tte konstruktionsm\u00e6ssigt korrekte og n\u00e6sten optimale controllere til sikkerhedskritiske systemer inden for en r\u00e6kke forskellige dom\u00e6ner.<\/p>\n<p><strong>Projektperiode:<\/strong>\u00a02021-2024<br \/><strong>Budget:<\/strong> 9,12 million kr.<\/p>\n<p><strong>Projektleder<\/strong><\/p>\n<ul>\n<li>Professor Kim Guldstrand Larsen<\/li>\n<li>Department of Computer Science, AAU<\/li>\n<li>kgl@cs.aau.dk<\/li>\n<\/ul>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-70b7947 elementor-widget elementor-widget-toggle\" data-id=\"70b7947\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;none&quot;}\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1181\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"button\" aria-controls=\"elementor-tab-content-1181\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a class=\"elementor-toggle-title\" tabindex=\"0\">Mere om projektet (p\u00e5 engelsk)<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1181\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"region\" aria-labelledby=\"elementor-tab-title-1181\"><p>AI technologies may present new safety risks for users when they are embedded in products and services. For example, as result of a flaw in the object recognition technology, an autonomous car can wrongly identify an object on the road and cause an accident involving injuries and material damage. This in turn makes it difficult to place liability in case of malfunctioning:\u2028Under the Product Liability Directive, a manufacturer is liable for damage caused by a defective product. However, in the case of an AI based system such as autonomous cars, it may be difficult to prove that there is a defect in the product, the damage that has occurred and the causal link between the two.<\/p>\n<p>What is needed are new methods, where machine learning is integrated with model-based techniques such that machine-learned solutions, typically optimising expected performance, are ensured to not violate crucial safety constraints, and can be certified not to do so. Relevant domains include all types of autonomous systems, where machine learning is applied to control safety critical systems.<\/p>\n<p>The research aim of the project is to develop methods and tools that will enable industry to automatically synthesise correct-by-construction and near-optimal controllers for safety critical 45 systems within a variety of domains. The project will involve a number of scientific challenges including representation of strategies \u2013 neural networks (for compactness), decision trees (for explainability). Also, development of strategy learning methods with statistical guarantees is crucial.<\/p>\n<p>A key challenge is understanding and specifying what safety and risk means for model-free controllers based on neural networks. Once formal specifications are created, we aim at combining the existing knowledge about property-based testing, Bayesian probabilistic programming, and model checking.<\/p>\n<p><strong>Value creation<br \/><\/strong>The scientific value of the project are new fundamental theories, algorithmic methods and tools together with evaluation of their performance and adequacy in industrial settings. These are important contributions bridging between the core research themes on AI and Verification in DIREC.<\/p>\n<p>For capacity building the value of the project is to educate PhD students and Post Docs in close collaboration with industry. The profile of these PhD students will meet a demand in the companies for staff with competences on both machine learning, data science and traditional software engineering. In addition, the project will offer a number of affiliated students projects at master-level.<\/p>\n<p>For the growing number of companies relying of using AI in their products the ability to produce safety certification using approved processes and tools will be vital in order to bring safety critical applications to the market. At the societal level trustworthiness of AI-based systems is of prime concern within EU. Here methods and tools for providing safety guarantees can play a crucial role.<\/p>\n<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\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<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-56befb52 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"56befb52\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-7ebb8764\" data-id=\"7ebb8764\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-75096fcf elementor-widget elementor-widget-heading\" data-id=\"75096fcf\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">V\u00e6rdi<\/h4>\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<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-336448e4\" data-id=\"336448e4\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-3845ae1c elementor-widget elementor-widget-text-editor\" data-id=\"3845ae1c\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>For det stigende antal virksomheder, der er afh\u00e6ngige af at bruge AI i deres produkter, vil evnen til at producere sikkerhedscertificering ved hj\u00e6lp af godkendte processer og v\u00e6rkt\u00f8jer v\u00e6re afg\u00f8rende for at bringe sikkerhedskritiske applikationer p\u00e5 markedet.<\/p>\n<p>P\u00e5 samfundsniveau er trov\u00e6rdigheden af AI-baserede systemer af st\u00f8rste betydning i EU. Her kan metoder og v\u00e6rkt\u00f8jer til at stille sikkerhedsgarantier spille en afg\u00f8rende rolle.<\/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<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-4df5003b elementor-section-height-min-height elementor-section-items-stretch elementor-section-content-middle elementor-reverse-mobile elementor-reverse-tablet elementor-section-stretched elementor-section-boxed elementor-section-height-default\" data-id=\"4df5003b\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;stretch_section&quot;:&quot;section-stretched&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-611e1dfd\" data-id=\"611e1dfd\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-b59ab12 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"b59ab12\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeIn&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Insights<\/h3>\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<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-1cf88e37 elementor-section-stretched elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"1cf88e37\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;stretch_section&quot;:&quot;section-stretched&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-1766f494\" data-id=\"1766f494\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-322ca160 elementor-widget__width-initial elementor-widget elementor-widget-eael-post-list\" data-id=\"322ca160\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"eael-post-list.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"eael-post-list-container default layout-default\"><div class=\"eael-post-list-wrap\"><div class=\"eael-post-list-posts-wrap eael-post-appender eael-post-appender-322ca160\"><div class=\"eael-post-list-post \"><div class=\"eael-post-list-thumbnail \"><a href=\"https:\/\/direc.dk\/da\/intelligent-teknologi-skal-vaere-med-til-at-forhindre-en-gentagelse-af-oversvoemmelserne-i-2011-og-2013\/\">\n                            <img decoding=\"async\" src=\"https:\/\/direc.dk\/wp-content\/uploads\/2023\/04\/Prevent-floods-1024x576.jpg\" alt=\"\">\n                        <\/a><\/div><div class=\"eael-post-list-content\"><h2 class=\"eael-post-list-title\"><a href=\"https:\/\/direc.dk\/da\/intelligent-teknologi-skal-vaere-med-til-at-forhindre-en-gentagelse-af-oversvoemmelserne-i-2011-og-2013\/\" >Intelligent teknologi skal v\u00e6re med til at forhindre en gentagelse af oversv\u00f8mmelserne i 2011 og 2013<\/a><\/h2><div class=\"meta\"><span class=\"eael-post-published-date\"><i class=\"far fa-calendar-alt\"><\/i> 13. april 2023<\/span><\/div><\/div><\/div><div class=\"eael-post-list-post \"><div class=\"eael-post-list-thumbnail \"><a href=\"https:\/\/direc.dk\/da\/moed-martin-zimmermann-hvis-forskning-fokuserer-paa-verifikationsvaerktoejer\/\">\n                            <img decoding=\"async\" src=\"https:\/\/direc.dk\/wp-content\/uploads\/2022\/03\/Martin-Zimmermann_oversigt-1024x576.jpg\" alt=\"\">\n                        <\/a><\/div><div class=\"eael-post-list-content\"><h2 class=\"eael-post-list-title\"><a href=\"https:\/\/direc.dk\/da\/moed-martin-zimmermann-hvis-forskning-fokuserer-paa-verifikationsvaerktoejer\/\" >M\u00f8d Martin Zimmermann, hvis forskning fokuserer p\u00e5 verifikationsv\u00e6rkt\u00f8jer<\/a><\/h2><div class=\"meta\"><span class=\"eael-post-published-date\"><i class=\"far fa-calendar-alt\"><\/i> 31. marts 2022<\/span><\/div><\/div><\/div><div class=\"eael-post-list-post \"><div class=\"eael-post-list-thumbnail \"><a href=\"https:\/\/direc.dk\/da\/forskere-og-industri-arbejder-sammen-om-at-udvikle-ny-teknologi-der-kan-forhindre-oversvoemmelser\/\">\n                            <img decoding=\"async\" src=\"https:\/\/direc.dk\/wp-content\/uploads\/2021\/11\/Ny-teknologi-forhindrer-oversvoemmelser-1024x637.jpg\" alt=\"\">\n                        <\/a><\/div><div class=\"eael-post-list-content\"><h2 class=\"eael-post-list-title\"><a href=\"https:\/\/direc.dk\/da\/forskere-og-industri-arbejder-sammen-om-at-udvikle-ny-teknologi-der-kan-forhindre-oversvoemmelser\/\" >Forskere og industri arbejder sammen om at udvikle ny teknologi, der kan forhindre oversv\u00f8mmelser<\/a><\/h2><div class=\"meta\"><span class=\"eael-post-published-date\"><i class=\"far fa-calendar-alt\"><\/i> 12. november 2021<\/span><\/div><\/div><\/div><\/div><\/div>\n\t\t<\/div>\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<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-7e2b2ad0\" data-id=\"7e2b2ad0\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\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<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-279ab0db elementor-section-height-min-height elementor-section-items-stretch elementor-section-content-middle elementor-reverse-mobile elementor-reverse-tablet elementor-section-stretched elementor-section-boxed elementor-section-height-default\" data-id=\"279ab0db\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;stretch_section&quot;:&quot;section-stretched&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-5c01b734\" data-id=\"5c01b734\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-6e61a6ee animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"6e61a6ee\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeIn&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Partnere<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-inner-section elementor-element elementor-element-9893e6a elementor-section-content-top elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"9893e6a\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-25 elementor-inner-column elementor-element elementor-element-3326d6d\" data-id=\"3326d6d\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-01c26e5 elementor-widget elementor-widget-image\" data-id=\"01c26e5\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"500\" height=\"104\" src=\"https:\/\/direc.dk\/wp-content\/uploads\/2021\/01\/grundfos-logo.png\" class=\"attachment-large size-large wp-image-7959\" alt=\"\" srcset=\"https:\/\/direc.dk\/wp-content\/uploads\/2021\/01\/grundfos-logo.png 500w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/01\/grundfos-logo-300x62.png 300w\" sizes=\"(max-width: 500px) 100vw, 500px\" \/>\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<div class=\"elementor-element elementor-element-64eea74 elementor-widget elementor-widget-image\" data-id=\"64eea74\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"800\" height=\"242\" src=\"https:\/\/direc.dk\/wp-content\/uploads\/2020\/11\/Seluxit_logo.png\" class=\"attachment-large size-large wp-image-7977\" alt=\"\" srcset=\"https:\/\/direc.dk\/wp-content\/uploads\/2020\/11\/Seluxit_logo.png 800w, https:\/\/direc.dk\/wp-content\/uploads\/2020\/11\/Seluxit_logo-300x91.png 300w, https:\/\/direc.dk\/wp-content\/uploads\/2020\/11\/Seluxit_logo-768x232.png 768w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/>\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\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-25 elementor-inner-column elementor-element elementor-element-b0000d3\" data-id=\"b0000d3\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-e8fa982 elementor-widget elementor-widget-image\" data-id=\"e8fa982\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"316\" height=\"70\" src=\"https:\/\/direc.dk\/wp-content\/uploads\/2021\/01\/Aarhus-vand_logo.png\" class=\"attachment-large size-large wp-image-7960\" alt=\"\" srcset=\"https:\/\/direc.dk\/wp-content\/uploads\/2021\/01\/Aarhus-vand_logo.png 316w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/01\/Aarhus-vand_logo-300x66.png 300w\" sizes=\"(max-width: 316px) 100vw, 316px\" \/>\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<div class=\"elementor-element elementor-element-dab9297 elementor-widget elementor-widget-image\" data-id=\"dab9297\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"677\" height=\"440\" src=\"https:\/\/direc.dk\/wp-content\/uploads\/2020\/11\/HOFOR-logo.png\" class=\"attachment-large size-large wp-image-7976\" alt=\"\" srcset=\"https:\/\/direc.dk\/wp-content\/uploads\/2020\/11\/HOFOR-logo.png 677w, https:\/\/direc.dk\/wp-content\/uploads\/2020\/11\/HOFOR-logo-300x195.png 300w\" sizes=\"(max-width: 677px) 100vw, 677px\" \/>\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\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-25 elementor-inner-column elementor-element elementor-element-0b53fa1\" data-id=\"0b53fa1\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-7046444 elementor-widget elementor-widget-image\" data-id=\"7046444\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" src=\"https:\/\/direc.dk\/wp-content\/uploads\/2024\/05\/AAU_LEFT_RGB.png\" title=\"\" alt=\"\" loading=\"lazy\" \/>\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<div class=\"elementor-element elementor-element-61b5e3e elementor-widget elementor-widget-image\" data-id=\"61b5e3e\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"800\" height=\"89\" src=\"https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-1024x114.png\" class=\"attachment-large size-large wp-image-5995\" alt=\"\" srcset=\"https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-1024x114.png 1024w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-300x33.png 300w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-768x86.png 768w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-1536x171.png 1536w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-1200x134.png 1200w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-1980x221.png 1980w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK.png 2002w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/>\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\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-25 elementor-inner-column elementor-element elementor-element-7b50c37\" data-id=\"7b50c37\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\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\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":"<p>Den hastigt voksende anvendelse af maskinl\u00e6ringsteknikker i cyberfysiske systemer f\u00f8rer til bedre l\u00f8sninger og produkter med hensyn til tilpasningsevne, ydeevne, effektivitet, funktionalitet og brugervenlighed. Cyberfysiske systemer er dog ofte sikkerhedskritiske, fx selvk\u00f8rende biler eller medicinsk udstyr, og behovet for verifikation mod potentielt d\u00f8dsulykker er af afg\u00f8rende betydning. <\/p>\n","protected":false},"author":3,"featured_media":24043,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[211,32,210,216,218],"tags":[121,65,66,74],"class_list":["post-13230","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ai","category-bridge-projekt","category-cybersikkerhed","category-digital-baeredygtig-omstilling","category-projekt","tag-green-da","tag-ws2-da","tag-ws6","tag-ws7-da"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Verifiable and Safe AI for Autonomous Systems - DIREC<\/title>\n<meta name=\"description\" content=\"Den hastigt voksende anvendelse af maskinl\u00e6ringsteknikker i cyberfysiske systemer f\u00f8rer til bedre l\u00f8sninger og produkter med hensyn til tilpasningsevne, ydeevne, effektivitet, funktionalitet og brugervenlighed. Cyberfysiske systemer er dog ofte sikkerhedskritiske, fx selvk\u00f8rende biler eller medicinsk udstyr, og behovet for verifikation mod potentielt d\u00f8dsulykker er af afg\u00f8rende betydning.\" \/>\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\/verifiable-and-safe-ai-for-autonomous-systems\/\" \/>\n<meta property=\"og:locale\" content=\"da_DK\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Verifiable and Safe AI for Autonomous Systems - DIREC\" \/>\n<meta property=\"og:description\" content=\"Den hastigt voksende anvendelse af maskinl\u00e6ringsteknikker i cyberfysiske systemer f\u00f8rer til bedre l\u00f8sninger og produkter med hensyn til tilpasningsevne, ydeevne, effektivitet, funktionalitet og brugervenlighed. Cyberfysiske systemer er dog ofte sikkerhedskritiske, fx selvk\u00f8rende biler eller medicinsk udstyr, og behovet for verifikation mod potentielt d\u00f8dsulykker er af afg\u00f8rende betydning.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/\" \/>\n<meta property=\"og:site_name\" content=\"DIREC\" \/>\n<meta property=\"article:published_time\" content=\"2021-03-17T10:53:15+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-11-17T12:06:18+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/direc.dk\/wp-content\/uploads\/2023\/04\/Prevent-floods.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=\"9 minutter\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/verifiable-and-safe-ai-for-autonomous-systems\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/verifiable-and-safe-ai-for-autonomous-systems\\\/\"},\"author\":{\"name\":\"Susanne Br\u00f8ndberg\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/person\\\/3fcdff2b9bc83fcb7b642fa67a946f38\"},\"headline\":\"Verifiable and Safe AI for Autonomous Systems\",\"datePublished\":\"2021-03-17T10:53:15+00:00\",\"dateModified\":\"2025-11-17T12:06:18+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/verifiable-and-safe-ai-for-autonomous-systems\\\/\"},\"wordCount\":706,\"publisher\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/verifiable-and-safe-ai-for-autonomous-systems\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2023\\\/04\\\/Prevent-floods.jpg\",\"keywords\":[\"green\",\"WS2\",\"WS6\",\"WS7\"],\"articleSection\":[\"AI\",\"Bridge-projekt\",\"Cybersikkerhed\",\"Digital b\u00e6redygtig omstilling\",\"Projekt\"],\"inLanguage\":\"da-DK\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/verifiable-and-safe-ai-for-autonomous-systems\\\/\",\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/verifiable-and-safe-ai-for-autonomous-systems\\\/\",\"name\":\"Verifiable and Safe AI for Autonomous Systems - DIREC\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/verifiable-and-safe-ai-for-autonomous-systems\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/verifiable-and-safe-ai-for-autonomous-systems\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2023\\\/04\\\/Prevent-floods.jpg\",\"datePublished\":\"2021-03-17T10:53:15+00:00\",\"dateModified\":\"2025-11-17T12:06:18+00:00\",\"description\":\"Den hastigt voksende anvendelse af maskinl\u00e6ringsteknikker i cyberfysiske systemer f\u00f8rer til bedre l\u00f8sninger og produkter med hensyn til tilpasningsevne, ydeevne, effektivitet, funktionalitet og brugervenlighed. Cyberfysiske systemer er dog ofte sikkerhedskritiske, fx selvk\u00f8rende biler eller medicinsk udstyr, og behovet for verifikation mod potentielt d\u00f8dsulykker er af afg\u00f8rende betydning.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/verifiable-and-safe-ai-for-autonomous-systems\\\/#breadcrumb\"},\"inLanguage\":\"da-DK\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/direc.dk\\\/da\\\/verifiable-and-safe-ai-for-autonomous-systems\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"da-DK\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/verifiable-and-safe-ai-for-autonomous-systems\\\/#primaryimage\",\"url\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2023\\\/04\\\/Prevent-floods.jpg\",\"contentUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2023\\\/04\\\/Prevent-floods.jpg\",\"width\":1920,\"height\":1080},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/verifiable-and-safe-ai-for-autonomous-systems\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/direc.dk\\\/da\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Verifiable and Safe AI for Autonomous Systems\"}]},{\"@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":"Verifiable and Safe AI for Autonomous Systems - DIREC","description":"Den hastigt voksende anvendelse af maskinl\u00e6ringsteknikker i cyberfysiske systemer f\u00f8rer til bedre l\u00f8sninger og produkter med hensyn til tilpasningsevne, ydeevne, effektivitet, funktionalitet og brugervenlighed. Cyberfysiske systemer er dog ofte sikkerhedskritiske, fx selvk\u00f8rende biler eller medicinsk udstyr, og behovet for verifikation mod potentielt d\u00f8dsulykker er af afg\u00f8rende betydning.","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\/verifiable-and-safe-ai-for-autonomous-systems\/","og_locale":"da_DK","og_type":"article","og_title":"Verifiable and Safe AI for Autonomous Systems - DIREC","og_description":"Den hastigt voksende anvendelse af maskinl\u00e6ringsteknikker i cyberfysiske systemer f\u00f8rer til bedre l\u00f8sninger og produkter med hensyn til tilpasningsevne, ydeevne, effektivitet, funktionalitet og brugervenlighed. Cyberfysiske systemer er dog ofte sikkerhedskritiske, fx selvk\u00f8rende biler eller medicinsk udstyr, og behovet for verifikation mod potentielt d\u00f8dsulykker er af afg\u00f8rende betydning.","og_url":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/","og_site_name":"DIREC","article_published_time":"2021-03-17T10:53:15+00:00","article_modified_time":"2025-11-17T12:06:18+00:00","og_image":[{"width":1920,"height":1080,"url":"https:\/\/direc.dk\/wp-content\/uploads\/2023\/04\/Prevent-floods.jpg","type":"image\/jpeg"}],"author":"Susanne Br\u00f8ndberg","twitter_card":"summary_large_image","twitter_misc":{"Skrevet af":"Susanne Br\u00f8ndberg","Estimeret l\u00e6setid":"9 minutter"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/#article","isPartOf":{"@id":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/"},"author":{"name":"Susanne Br\u00f8ndberg","@id":"https:\/\/direc.dk\/da\/#\/schema\/person\/3fcdff2b9bc83fcb7b642fa67a946f38"},"headline":"Verifiable and Safe AI for Autonomous Systems","datePublished":"2021-03-17T10:53:15+00:00","dateModified":"2025-11-17T12:06:18+00:00","mainEntityOfPage":{"@id":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/"},"wordCount":706,"publisher":{"@id":"https:\/\/direc.dk\/da\/#organization"},"image":{"@id":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/#primaryimage"},"thumbnailUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2023\/04\/Prevent-floods.jpg","keywords":["green","WS2","WS6","WS7"],"articleSection":["AI","Bridge-projekt","Cybersikkerhed","Digital b\u00e6redygtig omstilling","Projekt"],"inLanguage":"da-DK"},{"@type":"WebPage","@id":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/","url":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/","name":"Verifiable and Safe AI for Autonomous Systems - DIREC","isPartOf":{"@id":"https:\/\/direc.dk\/da\/#website"},"primaryImageOfPage":{"@id":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/#primaryimage"},"image":{"@id":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/#primaryimage"},"thumbnailUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2023\/04\/Prevent-floods.jpg","datePublished":"2021-03-17T10:53:15+00:00","dateModified":"2025-11-17T12:06:18+00:00","description":"Den hastigt voksende anvendelse af maskinl\u00e6ringsteknikker i cyberfysiske systemer f\u00f8rer til bedre l\u00f8sninger og produkter med hensyn til tilpasningsevne, ydeevne, effektivitet, funktionalitet og brugervenlighed. Cyberfysiske systemer er dog ofte sikkerhedskritiske, fx selvk\u00f8rende biler eller medicinsk udstyr, og behovet for verifikation mod potentielt d\u00f8dsulykker er af afg\u00f8rende betydning.","breadcrumb":{"@id":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/#breadcrumb"},"inLanguage":"da-DK","potentialAction":[{"@type":"ReadAction","target":["https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/"]}]},{"@type":"ImageObject","inLanguage":"da-DK","@id":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/#primaryimage","url":"https:\/\/direc.dk\/wp-content\/uploads\/2023\/04\/Prevent-floods.jpg","contentUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2023\/04\/Prevent-floods.jpg","width":1920,"height":1080},{"@type":"BreadcrumbList","@id":"https:\/\/direc.dk\/da\/verifiable-and-safe-ai-for-autonomous-systems\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/direc.dk\/da\/"},{"@type":"ListItem","position":2,"name":"Verifiable and Safe AI for Autonomous Systems"}]},{"@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\/13230","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=13230"}],"version-history":[{"count":3,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/13230\/revisions"}],"predecessor-version":[{"id":38941,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/13230\/revisions\/38941"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/media\/24043"}],"wp:attachment":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/media?parent=13230"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/categories?post=13230"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/tags?post=13230"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}