{"id":1077,"date":"2022-08-10T16:31:23","date_gmt":"2022-08-10T14:31:23","guid":{"rendered":"https:\/\/ki-lok.itpower.de\/?page_id=1077"},"modified":"2025-06-25T13:47:25","modified_gmt":"2025-06-25T11:47:25","slug":"news","status":"publish","type":"page","link":"https:\/\/ki-lok.itpower.de\/en\/news","title":{"rendered":"News"},"content":{"rendered":"<div data-colibri-id=\"1077-c1\" class=\"style-1277 style-local-1077-c1 position-relative\">\n  <!---->\n  <div data-colibri-component=\"section\" data-colibri-id=\"1077-c2\" id=\"initial-content\" class=\"h-section h-section-global-spacing d-flex align-items-lg-center align-items-md-center align-items-center style-1278 style-local-1077-c2 position-relative\">\n    <!---->\n    <!---->\n    <div class=\"h-section-grid-container h-section-boxed-container\">\n      <!---->\n      <div data-colibri-id=\"1077-c3\" class=\"h-row-container gutters-row-lg-2 gutters-row-md-2 gutters-row-0 gutters-row-v-lg-2 gutters-row-v-md-2 gutters-row-v-2 style-1279 style-local-1077-c3 position-relative\">\n        <!---->\n        <div class=\"h-row justify-content-lg-center justify-content-md-center justify-content-center align-items-lg-center align-items-md-center align-items-center gutters-col-lg-2 gutters-col-md-2 gutters-col-0 gutters-col-v-lg-2 gutters-col-v-md-2 gutters-col-v-2\">\n          <!---->\n          <div class=\"h-column h-column-container d-flex h-col-lg h-col-md-auto h-col-auto align-self-lg-center align-self-md-center align-self-center style-1280-outer style-local-1077-c4-outer\">\n            <div data-colibri-id=\"1077-c4\" class=\"d-flex h-flex-basis h-column__inner h-px-lg-2 h-px-md-2 h-px-2 v-inner-lg-2 v-inner-md-2 v-inner-2 style-1280 style-local-1077-c4 position-relative\">\n              <!---->\n              <!---->\n              <div class=\"w-100 h-y-container h-column__content h-column__v-align flex-basis-100 align-self-lg-start align-self-md-start align-self-start\">\n                <!---->\n                <div data-colibri-id=\"1077-c5\" class=\"h-global-transition-all h-heading style-1281 style-local-1077-c5 position-relative h-element\">\n                  <!---->\n                  <div class=\"h-heading__outer style-1281 style-local-1077-c5\">\n                    <!---->\n                    <!---->\n                    <h1 class=\"\">Publications<\/h1>\n                  <\/div>\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n        <\/div>\n      <\/div>\n    <\/div>\n  <\/div>\n  <div data-colibri-component=\"section\" data-colibri-id=\"1077-c10\" id=\"custom-2\" class=\"h-section h-section-global-spacing d-flex align-items-lg-center align-items-md-center align-items-center style-1313 style-local-1077-c10 position-relative\">\n    <!---->\n    <!---->\n    <div class=\"h-section-grid-container h-section-boxed-container\">\n      <!---->\n      <div data-colibri-id=\"1077-c14\" class=\"h-row-container gutters-row-lg-2 gutters-row-md-2 gutters-row-0 gutters-row-v-lg-2 gutters-row-v-md-2 gutters-row-v-2 style-1361 style-local-1077-c14 position-relative\">\n        <!---->\n        <div class=\"h-row justify-content-lg-center justify-content-md-center justify-content-center align-items-lg-stretch align-items-md-stretch align-items-stretch gutters-col-lg-2 gutters-col-md-2 gutters-col-0 gutters-col-v-lg-2 gutters-col-v-md-2 gutters-col-v-2\">\n          <!---->\n          <div class=\"h-column h-column-container d-flex h-col-lg-auto h-col-md-auto h-col-auto style-1362-outer style-local-1077-c15-outer\">\n            <div data-colibri-id=\"1077-c15\" class=\"d-flex h-flex-basis h-column__inner h-px-lg-2 h-px-md-2 h-px-2 v-inner-lg-2 v-inner-md-2 v-inner-2 style-1362 style-local-1077-c15 position-relative\">\n              <!---->\n              <!---->\n              <div class=\"w-100 h-y-container h-column__content h-column__v-align flex-basis-100 align-self-lg-start align-self-md-start align-self-start\">\n                <!---->\n                <div data-colibri-id=\"1077-c16\" class=\"h-text h-text-component style-1325 style-local-1077-c16 position-relative h-element\">\n                  <!---->\n                  <!---->\n                  <div class=\"\">\n                    <p>Jan Gruteser, Jan Ro\u00dfbach, Fabian Vu, Michael Leuschel. Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems. FMAS 2024, to appear.<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p><span style=\"font-weight: 400; font-size: 16px; font-family: &quot;Open Sans&quot;; color: rgb(70, 112, 127);\">Hans-Werner Wiesbrock, Juergen Grossmann<\/span>. Probabilistically Extended Ontologies: A Basis for Systematic Testing of\n                      ML-Based Systems. SAE Technical Paper 2024-01-3002, 2024.&nbsp;<span style=\"font-weight: 400; font-size: 16px; font-family: &quot;Open Sans&quot;; color: rgb(70, 112, 127);\">The final authenticated version is available online at&nbsp;<\/span>https:\/\/doi.org\/10.4271\/2024-01-3002<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>Hans-Werner Wiesbrock, Juergen Grossmann. Outline of an Independent Systematic Blackbox Test for ML Systems. The 6th IEEE International Conference on Artificial Intelligence Testing (IEEE AITEST 2024), 07\/2024, Shanghai, China. The\n                      final authenticated version is available online at https:\/\/doi.org\/10.1109\/AITest62860.2024.00009<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>Nicolas Grube, Mozhdeh Massah, Michael Tebbe, Paul Wancura, Hans-Werner Wiesbrock, Juergen Grossmann, Sami Kharma. On a systematic test of ML-based systems: Experiments on test statistics. The 6th IEEE International Conference on Artificial\n                      Intelligence Testing (IEEE AITEST 2024), 07\/2024, Shanghai, China.&nbsp;The final authenticated version is available online at https:\/\/doi.org\/10.1109\/AITest62860.2024.00010<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p><span style=\"font-weight: 400; font-size: 16px; font-family: &quot;Open Sans&quot;; color: rgb(70, 112, 127);\">Jan Ro\u00dfbach, Olivier De Candido, Achmed Hammam, Michael Leuschel. (2024). Evaluating AI-Based Components in&nbsp;Autonomous Railway Systems. In: Hotho, A., Rudolph, S. (eds) KI 2024: Advances in Artificial Intelligence. KI 2024. Lecture Notes in Computer Science(), vol 14992 . Springer, Cham.<\/span>                      The final authenticated version is available online at https:\/\/doi.org\/10.1007\/978-3-031-70893-0_14<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>Jan Gruteser, Michael Leuschel. Validation of RailML Using ProB. In Proceedings ICECCS 2024, LNCS, 14784, Springer, 245-256, 2024. The final authenticated version is available online at https:\/\/doi.org\/10.1007\/978-3-031-66456-4_13<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>Fabian Vu, Jannik Dunkelau, Michael Leuschel. Validation of Reinforcement Learning Agents and Safety Shields with ProB. In Proceedings NFM 2024, LNCS, 14627, Springer, 279-297, 2024. The final authenticated version is available online\n                      at https:\/\/doi.org\/10.1007\/978-3-031-60698-4_16<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>Fabian Vu, Christopher Happe, Michael Leuschel. Generating interactive documents for domain-specific validation of formal models. In International Journal on Software Tools for Technology Transfer, 26, Springer, 147-168, 2024. The\n                      final authenticated version is available online at https:\/\/doi.org\/10.1007\/s10009-024-00739-0<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>Jan Gruteser, David Gele\u00dfus, Michael Leuschel, Jan Ro\u00dfbach and Fabian Vu. A Formal Model of Train Control with AI-based Obstacle Detection. Proceedings RSSRail 2023. LNCS.&nbsp;<span style=\"font-weight: 400; font-size: 16px; font-family: &quot;Open Sans&quot;; color: rgb(70, 112, 127);\">14198, Springer, 128-145, 2023. The final authenticated version is available online at https:\/\/doi.org\/10.1007\/978-3-031-43366-5_8<\/span>(HHU)<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>G. Hemzal, T. Strobel, J. Gro\u00dfmann, M. Leuschel, D. Knoblauch, M. Kucheiko, N. Grube, R. Krajewski: KI-LOK \u2013 Ein Verbundprojekt \u00fcber Pr\u00fcfverfahren f\u00fcr KI-basierte Komponenten im Eisenbahnbetrieb; Signal + Draht 04\/ 2023<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>Grossmann, J. et al. (2023). Test and Training Data Generation for Object Recognition in the Railway Domain. In: Masci, P., Bernardeschi, C., Graziani, P., Koddenbrock, M., Palmieri, M. (eds) Software Engineering and Formal Methods.\n                      SEFM 2022 Collocated Workshops. SEFM 2022. Lecture Notes in Computer Science, vol 13765. Springer, Cham. (Fraunhofer FOKUS, ITPower Solutions); Verf\u00fcgbar unter: https:\/\/link.springer.com\/chapter\/10.1007\/978-3-031-26236-4_1<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>Klemenc, Jona, and Holger Trittenbach. \u201eSelecting Models based on the Risk of Damage Caused by Adversarial Attacks.\u201c arXiv preprint arXiv:2301.12151 (2023) (neurocat); Available under: https:\/\/arxiv.org\/pdf\/2301.12151v1.pd<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>Jan Ro\u00dfbach, Michael Leuschel. Certified Control for Train Sign Classification. In Proceedings FMAS 2023, EPTCS, 395, 69&#8211;76, 2023. The final authenticated version is available online at https:\/\/doi.org\/10.4204\/EPTCS.395.5<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>Juergen Gro\u00dfmann, Nicolas Grube, Sami Kharma, Dorian Knoblauch, Roman Krajewski, Mariia Kucheiko, Hans-Werner Wiesbrock. Test- und Trainingsdatengenerierung f\u00fcr die Objekterkennung im Bahnbereich. AI4EA 2022, Berlin, Germany.<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>Fabian Vu, Christopher Happe, Michael Leuschel. Generating Domain-Specific Interactive Validation Documents, FMICS 2022, LNCS, 13487, Springer, 32-49, 2022. The final authenticated version is available online at https:\/\/doi.org\/10.1007\/978-3-031-15008-1_4<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                    <p>G. Hemzal, T. Strobel, J. Gro\u00dfmann, B.-H. Schlingloff, M. Leuschel, S. Sadeghipour, J. Firnkorn:&nbsp;KI-LOK \u2013 Ein Verbundprojekt \u00fcber Pr\u00fcfverfahren f\u00fcr KI-basierte Komponenten im Eisenbahnbetrieb; Signal + Draht 10\/ 2021&nbsp;<\/p>\n                    <p>\n                      <br>\n                    <\/p>\n                  <\/div>\n                <\/div>\n              <\/div>\n            <\/div>\n          <\/div>\n        <\/div>\n      <\/div>\n      <div data-colibri-id=\"1077-c17\" class=\"h-row-container gutters-row-lg-2 gutters-row-md-2 gutters-row-0 gutters-row-v-lg-2 gutters-row-v-md-2 gutters-row-v-2 style-1322 style-local-1077-c17 position-relative\">\n        <!---->\n        <div class=\"h-row justify-content-lg-center justify-content-md-center justify-content-center align-items-lg-stretch align-items-md-stretch align-items-stretch gutters-col-lg-2 gutters-col-md-2 gutters-col-0 gutters-col-v-lg-2 gutters-col-v-md-2 gutters-col-v-2\">\n          <!---->\n          <div class=\"h-column h-column-container d-flex h-col-lg-auto h-col-md-auto h-col-auto style-1323-outer style-local-1077-c18-outer\">\n            <div data-colibri-id=\"1077-c18\" class=\"d-flex h-flex-basis h-column__inner h-ui-empty-state-container h-px-lg-2 h-px-md-2 h-px-2 v-inner-lg-2 v-inner-md-2 v-inner-2 style-1323 style-local-1077-c18 position-relative\">\n              <!---->\n              <!---->\n              <div class=\"w-100 h-y-container h-column__content h-column__v-align flex-basis-100\">\n                <!---->\n              <\/div>\n            <\/div>\n          <\/div>\n        <\/div>\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>Ver\u00f6ffentlichungen Jan Gruteser, Jan Ro\u00dfbach, Fabian Vu, Michael Leuschel. Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems. FMAS 2024, to appear. Hans-Werner Wiesbrock, Juergen Grossmann. Probabilistically Extended Ontologies: A Basis for Systematic Testing of ML-Based Systems. SAE Technical Paper 2024-01-3002, 2024.&nbsp;The final authenticated version is available online at&nbsp;https:\/\/doi.org\/10.4271\/2024-01-3002 Hans-Werner Wiesbrock, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"page-templates\/full-width-page.php","meta":{"footnotes":""},"class_list":["post-1077","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>News - KI-LOK<\/title>\n<meta name=\"description\" content=\"Hier finden Sie Neuigkeiten zum Projekt KI-LOK, Forschungsberichte und andere Projektaktivit\u00e4ten\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/ki-lok.itpower.de\/en\/news\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"News - KI-LOK\" \/>\n<meta property=\"og:description\" content=\"Hier finden Sie Neuigkeiten zum Projekt KI-LOK, Forschungsberichte und andere Projektaktivit\u00e4ten\" \/>\n<meta property=\"og:url\" content=\"https:\/\/ki-lok.itpower.de\/en\/news\/\" \/>\n<meta property=\"og:site_name\" content=\"KI-LOK\" \/>\n<meta property=\"article:modified_time\" content=\"2025-06-25T11:47:25+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/ki-lok.itpower.de\\\/news\",\"url\":\"https:\\\/\\\/ki-lok.itpower.de\\\/news\",\"name\":\"News - KI-LOK\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/ki-lok.itpower.de\\\/#website\"},\"datePublished\":\"2022-08-10T14:31:23+00:00\",\"dateModified\":\"2025-06-25T11:47:25+00:00\",\"description\":\"Hier finden Sie Neuigkeiten zum Projekt KI-LOK, Forschungsberichte und andere Projektaktivit\u00e4ten\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/ki-lok.itpower.de\\\/news#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/ki-lok.itpower.de\\\/news\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/ki-lok.itpower.de\\\/news#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Startseite\",\"item\":\"https:\\\/\\\/ki-lok.itpower.de\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"News\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/ki-lok.itpower.de\\\/#website\",\"url\":\"https:\\\/\\\/ki-lok.itpower.de\\\/\",\"name\":\"KI-LOK\",\"description\":\"Sichere KI f\u00fcr die Schiene\",\"publisher\":{\"@id\":\"https:\\\/\\\/ki-lok.itpower.de\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/ki-lok.itpower.de\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/ki-lok.itpower.de\\\/#organization\",\"name\":\"KI-LOK\",\"url\":\"https:\\\/\\\/ki-lok.itpower.de\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/ki-lok.itpower.de\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/ki-lok.itpower.de\\\/wp-content\\\/uploads\\\/2021\\\/10\\\/cropped-cropped-cropped-cropped-KI-LOK-Symbol-Tuerkis-1-1.png\",\"contentUrl\":\"https:\\\/\\\/ki-lok.itpower.de\\\/wp-content\\\/uploads\\\/2021\\\/10\\\/cropped-cropped-cropped-cropped-KI-LOK-Symbol-Tuerkis-1-1.png\",\"width\":241,\"height\":303,\"caption\":\"KI-LOK\"},\"image\":{\"@id\":\"https:\\\/\\\/ki-lok.itpower.de\\\/#\\\/schema\\\/logo\\\/image\\\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"News - KI-LOK","description":"Hier finden Sie Neuigkeiten zum Projekt KI-LOK, Forschungsberichte und andere Projektaktivit\u00e4ten","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:\/\/ki-lok.itpower.de\/en\/news\/","og_locale":"en_US","og_type":"article","og_title":"News - KI-LOK","og_description":"Hier finden Sie Neuigkeiten zum Projekt KI-LOK, Forschungsberichte und andere Projektaktivit\u00e4ten","og_url":"https:\/\/ki-lok.itpower.de\/en\/news\/","og_site_name":"KI-LOK","article_modified_time":"2025-06-25T11:47:25+00:00","twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/ki-lok.itpower.de\/news","url":"https:\/\/ki-lok.itpower.de\/news","name":"News - KI-LOK","isPartOf":{"@id":"https:\/\/ki-lok.itpower.de\/#website"},"datePublished":"2022-08-10T14:31:23+00:00","dateModified":"2025-06-25T11:47:25+00:00","description":"Hier finden Sie Neuigkeiten zum Projekt KI-LOK, Forschungsberichte und andere Projektaktivit\u00e4ten","breadcrumb":{"@id":"https:\/\/ki-lok.itpower.de\/news#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/ki-lok.itpower.de\/news"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/ki-lok.itpower.de\/news#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Startseite","item":"https:\/\/ki-lok.itpower.de\/"},{"@type":"ListItem","position":2,"name":"News"}]},{"@type":"WebSite","@id":"https:\/\/ki-lok.itpower.de\/#website","url":"https:\/\/ki-lok.itpower.de\/","name":"KI-LOK","description":"safe AI for the railway industry","publisher":{"@id":"https:\/\/ki-lok.itpower.de\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/ki-lok.itpower.de\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/ki-lok.itpower.de\/#organization","name":"KI-LOK","url":"https:\/\/ki-lok.itpower.de\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/ki-lok.itpower.de\/#\/schema\/logo\/image\/","url":"https:\/\/ki-lok.itpower.de\/wp-content\/uploads\/2021\/10\/cropped-cropped-cropped-cropped-KI-LOK-Symbol-Tuerkis-1-1.png","contentUrl":"https:\/\/ki-lok.itpower.de\/wp-content\/uploads\/2021\/10\/cropped-cropped-cropped-cropped-KI-LOK-Symbol-Tuerkis-1-1.png","width":241,"height":303,"caption":"KI-LOK"},"image":{"@id":"https:\/\/ki-lok.itpower.de\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/ki-lok.itpower.de\/en\/wp-json\/wp\/v2\/pages\/1077","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ki-lok.itpower.de\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ki-lok.itpower.de\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ki-lok.itpower.de\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ki-lok.itpower.de\/en\/wp-json\/wp\/v2\/comments?post=1077"}],"version-history":[{"count":20,"href":"https:\/\/ki-lok.itpower.de\/en\/wp-json\/wp\/v2\/pages\/1077\/revisions"}],"predecessor-version":[{"id":1810,"href":"https:\/\/ki-lok.itpower.de\/en\/wp-json\/wp\/v2\/pages\/1077\/revisions\/1810"}],"wp:attachment":[{"href":"https:\/\/ki-lok.itpower.de\/en\/wp-json\/wp\/v2\/media?parent=1077"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}