<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>6122</id>
    <completedYear/>
    <publishedYear>2023</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>16</pageFirst>
    <pageLast>36</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <articleNumber/>
    <type>conferenceobject</type>
    <publisherName>Springer</publisherName>
    <publisherPlace>Cham</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2025-08-13</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes</title>
    <parentTitle language="eng">NASA Formal Methods: 15th International Symposium, NFM 2023 Houston, TX, USA, May 16–18, 2023, Proceedings</parentTitle>
    <identifier type="isbn">978-3-031-33170-1</identifier>
    <enrichment key="opus_doi_flag">true</enrichment>
    <enrichment key="local_crossrefDocumentType">book-chapter</enrichment>
    <enrichment key="local_crossrefLicence">https://www.springernature.com/gp/researchers/text-and-data-mining</enrichment>
    <enrichment key="local_import_origin">crossref</enrichment>
    <enrichment key="local_doiImportPopulated">PersonAuthorFirstName_1,PersonAuthorLastName_1,PersonAuthorFirstName_2,PersonAuthorLastName_2,PersonAuthorFirstName_3,PersonAuthorLastName_3,PersonAuthorFirstName_4,PersonAuthorLastName_4,PublisherName,PublisherPlace,TitleMain_1,Language,TitleParent_1,PageNumber,PageFirst,PageLast,CompletedYear,IdentifierIsbn,IdentifierIssn,Enrichmentlocal_crossrefLicence</enrichment>
    <enrichment key="opus.source">doi-import</enrichment>
    <enrichment key="THI_relatedIdentifier">https://doi.org/10.1007/978-3-031-33170-1_2</enrichment>
    <enrichment key="THI_openaccess">nein</enrichment>
    <enrichment key="THI_conferenceName">15th NASA Formal Methods Symposium (NFM 2023), Houston (USA), 16.-18.05.2023</enrichment>
    <enrichment key="THI_review">peer-review</enrichment>
    <enrichment key="opus.doi.autoCreate">false</enrichment>
    <enrichment key="opus.urn.autoCreate">true</enrichment>
    <author>
      <first_name>Niklas</first_name>
      <last_name>Kochdumper</last_name>
    </author>
    <editor>
      <first_name>Kristin Yvonne</first_name>
      <last_name>Rozier</last_name>
    </editor>
    <author>
      <first_name>Christian</first_name>
      <last_name>Schilling</last_name>
    </author>
    <editor>
      <first_name>Swarat</first_name>
      <last_name>Chaudhuri</last_name>
    </editor>
    <author>
      <first_name>Matthias</first_name>
      <last_name>Althoff</last_name>
    </author>
    <author>
      <first_name>Stanley</first_name>
      <last_name>Bak</last_name>
    </author>
    <collection role="persons" number="62657">Kochdumper, Niklas</collection>
  </doc>
</export-example>
