(Third Party Funds Single)<\/em><\/p>\n\n\n\n \nProject leader:<\/strong> Dr. Peter W\u00e4gemann (FAU)<\/a>, Dr. Dominik Penk (Schaeffler), Dr. Dominik Riedelbauch (Schaeffler) \nArtificial intelligence (AI), particularly in the form of machine learning models,
\n
\nProject members:<\/strong> Tobias H\u00e4berlein (FAU)<\/a>, Dr. Isabella Stilkerich (Schaeffler)
\n
\nStart date:<\/strong> 1. Januar 2025
\n
\nEnd date:<\/strong> 31. Dezember 2027
\n
\nAcronym:<\/strong> AIMBOS
\n
\nFunding source:<\/strong> Schaeffler Technologies AG & Co. KG\n<\/p>\n\n\n\nAbstract<\/h4>\n\n\n\n
\nsteadily gains importance in industrial applications. For Schaeffler, the usage of those
\nmethods in edge- or embedded devices is of particular interest. Deployment and
\ndevelopment of AI solutions in these environments presents a unique array of
\nchallenges. This project specifically focuses on proving functional code safety and the
\ncorrectness of deployed applications. To this end, we will investigate how Abstract
\nInterpretation, a well-known mathematical method to prove a wide range of program
\nproperties, can be used and extended for ML-based applications containing (deep)
\nNeural Networks.\n<\/p>\n","protected":false},"excerpt":{"rendered":"AIMBOS: Abstract Interpretation for Embedded AI Code Safety (Third Party Funds Single) Project leader: Dr. Peter W\u00e4gemann (FAU), Dr. Dominik Penk (Schaeffler), Dr. Dominik Riedelbauch (Schaeffler) Project members: Tobias H\u00e4berlein (FAU), Dr. Isabella Stilkerich (Schaeffler) Start date: 1. Januar 2025 End date: 31. Dezember 2027 Acronym: AIMBOS Funding source: Schaeffler Technologies AG & Co. KG Abstract Artificial intelligence (AI), […]","protected":false},"author":38,"featured_media":0,"parent":2103,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_crdt_document":"","_rrze_multilang_single_locale":"en_US","_rrze_multilang_single_source":"https:\/\/i4wpdev.cs.fau.de\/?page_id=8184","footnotes":""},"page_category":[],"class_list":["post-8204","page","type-page","status-publish","hentry","en-US"],"_links":{"self":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages\/8204","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/users\/38"}],"replies":[{"embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/comments?post=8204"}],"version-history":[{"count":6,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages\/8204\/revisions"}],"predecessor-version":[{"id":9530,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages\/8204\/revisions\/9530"}],"up":[{"embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/pages\/2103"}],"wp:attachment":[{"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/media?parent=8204"}],"wp:term":[{"taxonomy":"page_category","embeddable":true,"href":"https:\/\/i4wpdev.cs.fau.de\/wp-json\/wp\/v2\/page_category?post=8204"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}