<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>6145</id>
    <completedYear/>
    <publishedYear>2024</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst/>
    <pageLast/>
    <pageNumber>13</pageNumber>
    <edition/>
    <issue/>
    <volume/>
    <articleNumber>27</articleNumber>
    <type>conferenceobject</type>
    <publisherName>ACM</publisherName>
    <publisherPlace>New York</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2025-08-19</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Falsification using Reachability of Surrogate Koopman Models</title>
    <parentTitle language="eng">Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, part of CPS-IoT Week</parentTitle>
    <identifier type="isbn">979-8-4007-0522-9</identifier>
    <enrichment key="opus_doi_flag">true</enrichment>
    <enrichment key="local_crossrefDocumentType">proceedings-article</enrichment>
    <enrichment key="local_crossrefLicence">https://www.acm.org/publications/policies/copyright_policy#Background</enrichment>
    <enrichment key="local_import_origin">crossref</enrichment>
    <enrichment key="local_doiImportPopulated">PersonAuthorFirstName_1,PersonAuthorLastName_1,PersonAuthorIdentifierOrcid_1,PersonAuthorFirstName_2,PersonAuthorLastName_2,PersonAuthorIdentifierOrcid_2,PersonAuthorFirstName_3,PersonAuthorLastName_3,PersonAuthorIdentifierOrcid_3,PersonAuthorFirstName_4,PersonAuthorLastName_4,PersonAuthorIdentifierOrcid_4,PersonAuthorFirstName_5,PersonAuthorLastName_5,PersonAuthorIdentifierOrcid_5,PersonAuthorFirstName_6,PersonAuthorLastName_6,PersonAuthorIdentifierOrcid_6,PersonAuthorFirstName_7,PersonAuthorLastName_7,PersonAuthorIdentifierOrcid_7,Enrichmentconference_title,Enrichmentconference_place,PublisherName,PublisherPlace,TitleMain_1,TitleParent_1,PageNumber,PageFirst,PageLast,CompletedYear,Enrichmentlocal_crossrefLicence</enrichment>
    <enrichment key="conference_title">HSCC '24: Computation and Control</enrichment>
    <enrichment key="conference_place">Hong Kong SAR China</enrichment>
    <enrichment key="opus.source">doi-import</enrichment>
    <enrichment key="THI_relatedIdentifier">https://doi.org/10.1145/3641513.3650141</enrichment>
    <enrichment key="THI_openaccess">nein</enrichment>
    <enrichment key="THI_review">peer-review</enrichment>
    <enrichment key="THI_conferenceName">27th ACM International Conference on Hybrid Systems Computation and Control (HSCC 2024), Hong Kong (China), 13.-16.05.2024</enrichment>
    <enrichment key="opus.doi.autoCreate">false</enrichment>
    <enrichment key="opus.urn.autoCreate">true</enrichment>
    <author>
      <first_name>Stanley</first_name>
      <last_name>Bak</last_name>
    </author>
    <editor>
      <first_name>Erika</first_name>
      <last_name>Ábrahám</last_name>
    </editor>
    <author>
      <first_name>Sergiy</first_name>
      <last_name>Bogomolov</last_name>
    </author>
    <editor>
      <first_name>Manuel</first_name>
      <last_name>Mazo</last_name>
    </editor>
    <author>
      <first_name>Abdelrahman</first_name>
      <last_name>Hekal</last_name>
    </author>
    <author>
      <first_name>Niklas</first_name>
      <last_name>Kochdumper</last_name>
    </author>
    <author>
      <first_name>Ethan</first_name>
      <last_name>Lew</last_name>
    </author>
    <author>
      <first_name>Andrew</first_name>
      <last_name>Mata</last_name>
    </author>
    <author>
      <first_name>Amir</first_name>
      <last_name>Rahmati</last_name>
    </author>
    <collection role="persons" number="62657">Kochdumper, Niklas</collection>
  </doc>
  <doc>
    <id>6146</id>
    <completedYear/>
    <publishedYear>2023</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>237</pageFirst>
    <pageLast>250</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <articleNumber/>
    <type>conferenceobject</type>
    <publisherName>Springer</publisherName>
    <publisherPlace>Cham</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2025-08-19</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization</title>
    <parentTitle language="eng">Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II</parentTitle>
    <identifier type="isbn">978-3-031-45332-8</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,PersonAuthorIdentifierOrcid_1,PersonAuthorFirstName_2,PersonAuthorLastName_2,PersonAuthorIdentifierOrcid_2,PersonAuthorFirstName_3,PersonAuthorLastName_3,PersonAuthorIdentifierOrcid_3,PersonAuthorFirstName_4,PersonAuthorLastName_4,PersonAuthorIdentifierOrcid_4,PersonAuthorFirstName_5,PersonAuthorLastName_5,PersonAuthorIdentifierOrcid_5,PersonAuthorFirstName_6,PersonAuthorLastName_6,PersonAuthorIdentifierOrcid_6,PersonAuthorFirstName_7,PersonAuthorLastName_7,PersonAuthorIdentifierOrcid_7,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-45332-8_12</enrichment>
    <enrichment key="THI_openaccess">nein</enrichment>
    <enrichment key="THI_review">peer-review</enrichment>
    <enrichment key="THI_conferenceName">21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023), Singapore (Singapore), 24.-27.10.2023</enrichment>
    <enrichment key="opus.doi.autoCreate">false</enrichment>
    <enrichment key="opus.urn.autoCreate">true</enrichment>
    <author>
      <first_name>Ethan</first_name>
      <last_name>Lew</last_name>
    </author>
    <editor>
      <first_name>Étienne</first_name>
      <last_name>André</last_name>
    </editor>
    <author>
      <first_name>Abdelrahman</first_name>
      <last_name>Hekal</last_name>
    </author>
    <editor>
      <first_name>Jun</first_name>
      <last_name>Sun</last_name>
    </editor>
    <author>
      <first_name>Kostiantyn</first_name>
      <last_name>Potomkin</last_name>
    </author>
    <author>
      <first_name>Niklas</first_name>
      <last_name>Kochdumper</last_name>
    </author>
    <author>
      <first_name>Brandon</first_name>
      <last_name>Hencey</last_name>
    </author>
    <author>
      <first_name>Stanley</first_name>
      <last_name>Bak</last_name>
    </author>
    <author>
      <first_name>Sergiy</first_name>
      <last_name>Bogomolov</last_name>
    </author>
    <collection role="persons" number="62657">Kochdumper, Niklas</collection>
  </doc>
  <doc>
    <id>6119</id>
    <completedYear/>
    <publishedYear>2025</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>307</pageFirst>
    <pageLast>333</pageLast>
    <pageNumber/>
    <edition/>
    <issue>2</issue>
    <volume>66</volume>
    <articleNumber/>
    <type>article</type>
    <publisherName>Springer</publisherName>
    <publisherPlace>Dordrecht</publisherPlace>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2025-08-13</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Reachability of Koopman linearized systems using explicit kernel approximation and polynomial zonotope refinement</title>
    <parentTitle language="eng">Formal Methods in System Design</parentTitle>
    <identifier type="issn">1572-8102</identifier>
    <enrichment key="opus_doi_flag">true</enrichment>
    <enrichment key="local_crossrefDocumentType">journal-article</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,PersonAuthorFirstName_5,PersonAuthorLastName_5,PersonAuthorFirstName_6,PersonAuthorLastName_6,PublisherName,TitleMain_1,Language,TitleParent_1,CompletedYear,IdentifierIssn,Enrichmentlocal_crossrefLicence</enrichment>
    <enrichment key="opus.source">doi-import</enrichment>
    <enrichment key="THI_relatedIdentifier">https://doi.org/10.1007/s10703-024-00464-z</enrichment>
    <enrichment key="THI_openaccess">nein</enrichment>
    <enrichment key="THI_articleversion">published</enrichment>
    <enrichment key="THI_review">peer-review</enrichment>
    <author>
      <first_name>Stanley</first_name>
      <last_name>Bak</last_name>
    </author>
    <author>
      <first_name>Sergiy</first_name>
      <last_name>Bogomolov</last_name>
    </author>
    <author>
      <first_name>Brandon</first_name>
      <last_name>Hencey</last_name>
    </author>
    <author>
      <first_name>Niklas</first_name>
      <last_name>Kochdumper</last_name>
    </author>
    <author>
      <first_name>Ethan</first_name>
      <last_name>Lew</last_name>
    </author>
    <author>
      <first_name>Kostiantyn</first_name>
      <last_name>Potomkin</last_name>
    </author>
    <collection role="persons" number="62657">Kochdumper, Niklas</collection>
  </doc>
</export-example>
