{"id":"https://openalex.org/W4407363303","doi":"https://doi.org/10.1007/978-3-031-78750-8_12","title":"Fast Koopman Surrogate Falsification Using Linear Relaxations and\u00a0Weights","display_name":"Fast Koopman Surrogate Falsification Using Linear Relaxations and\u00a0Weights","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4407363303","doi":"https://doi.org/10.1007/978-3-031-78750-8_12"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-78750-8_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-78750-8_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-04962665/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033330108","display_name":"Stanley Bak","orcid":"https://orcid.org/0000-0003-4947-9553"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stanley Bak","raw_affiliation_strings":["Department of Computer Science, Stony Brook University, Stony Brook, NY, USA","SBU - Stony Brook University [SUNY] (100 Nicolls Road, Stony Brook, NY 11794 - United States)"],"raw_orcid":"https://orcid.org/0000-0003-4947-9553","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Stony Brook University, Stony Brook, NY, USA","institution_ids":["https://openalex.org/I59553526"]},{"raw_affiliation_string":"SBU - Stony Brook University [SUNY] (100 Nicolls Road, Stony Brook, NY 11794 - United States)","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090309612","display_name":"Abdelrahman Hekal","orcid":"https://orcid.org/0009-0008-9685-0558"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Abdelrahman Hekal","raw_affiliation_strings":["School of Computing, Newcastle University, Newcastle Upon Tyne, UK","Newcastle University [Newcastle] (Newcastle upon Tyne  NE1 7RU - United Kingdom)"],"raw_orcid":"https://orcid.org/0009-0008-9685-0558","affiliations":[{"raw_affiliation_string":"School of Computing, Newcastle University, Newcastle Upon Tyne, UK","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"Newcastle University [Newcastle] (Newcastle upon Tyne  NE1 7RU - United Kingdom)","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042624051","display_name":"Niklas Kochdumper","orcid":"https://orcid.org/0000-0001-6017-7623"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I4210117673","display_name":"Institut de Recherche en Informatique Fondamentale","ror":"https://ror.org/02krdtz55","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210089394","https://openalex.org/I4210117673","https://openalex.org/I4210139971"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Niklas Kochdumper","raw_affiliation_strings":["Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, 75013, Paris, France","IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale (Universit\u00e9 de Paris\r\nB\u00e2timent Sophie Germain, Case courrier 7014\r\n8 Place Aur\u00e9lie Nemours\r\n75205 Paris Cedex 13 - France)"],"raw_orcid":"https://orcid.org/0000-0001-6017-7623","affiliations":[{"raw_affiliation_string":"Universit\u00e9 Paris Cit\u00e9, CNRS, IRIF, 75013, Paris, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241"]},{"raw_affiliation_string":"IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale (Universit\u00e9 de Paris\r\nB\u00e2timent Sophie Germain, Case courrier 7014\r\n8 Place Aur\u00e9lie Nemours\r\n75205 Paris Cedex 13 - France)","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I4210117673"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045733096","display_name":"Ethan Lew","orcid":"https://orcid.org/0000-0002-6509-6846"},"institutions":[{"id":"https://openalex.org/I4210140281","display_name":"Galois (United States)","ror":"https://ror.org/03g8y8161","country_code":"US","type":"company","lineage":["https://openalex.org/I4210140281"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ethan Lew","raw_affiliation_strings":["Galois Inc., Portland, OR, USA","Galois, Inc. (421 SW 6th Avenue, Suite 300\r\nPortland, Oregon 97204 - United States)"],"raw_orcid":"https://orcid.org/0000-0002-6509-6846","affiliations":[{"raw_affiliation_string":"Galois Inc., Portland, OR, USA","institution_ids":["https://openalex.org/I4210140281"]},{"raw_affiliation_string":"Galois, Inc. (421 SW 6th Avenue, Suite 300\r\nPortland, Oregon 97204 - United States)","institution_ids":["https://openalex.org/I4210140281"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086197223","display_name":"A. Mata","orcid":null},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Mata","raw_affiliation_strings":["Department of Computer Science, Stony Brook University, Stony Brook, NY, USA","SBU - Stony Brook University [SUNY] (100 Nicolls Road, Stony Brook, NY 11794 - United States)"],"raw_orcid":"https://orcid.org/0009-0002-7435-332X","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Stony Brook University, Stony Brook, NY, USA","institution_ids":["https://openalex.org/I59553526"]},{"raw_affiliation_string":"SBU - Stony Brook University [SUNY] (100 Nicolls Road, Stony Brook, NY 11794 - United States)","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021423602","display_name":"Amir Rahmati","orcid":"https://orcid.org/0000-0001-7361-1898"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amir Rahmati","raw_affiliation_strings":["Department of Computer Science, Stony Brook University, Stony Brook, NY, USA","SBU - Stony Brook University [SUNY] (100 Nicolls Road, Stony Brook, NY 11794 - United States)"],"raw_orcid":"https://orcid.org/0000-0001-7361-1898","affiliations":[{"raw_affiliation_string":"Department of Computer Science, Stony Brook University, Stony Brook, NY, USA","institution_ids":["https://openalex.org/I59553526"]},{"raw_affiliation_string":"SBU - Stony Brook University [SUNY] (100 Nicolls Road, Stony Brook, NY 11794 - United States)","institution_ids":["https://openalex.org/I59553526"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5090309612"],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"234","last_page":"255"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9882000088691711,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9472000002861023,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8029114603996277},{"id":"https://openalex.org/keywords/surrogate-model","display_name":"Surrogate model","score":0.44089990854263306},{"id":"https://openalex.org/keywords/surrogate-data","display_name":"Surrogate data","score":0.4252403974533081},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4216562509536743},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40902969241142273},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3493961691856384},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3217610716819763},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16563913226127625},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.11566197872161865},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.10487210750579834},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.05382734537124634}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8029114603996277},{"id":"https://openalex.org/C131675550","wikidata":"https://www.wikidata.org/wiki/Q7646884","display_name":"Surrogate model","level":2,"score":0.44089990854263306},{"id":"https://openalex.org/C142806159","wikidata":"https://www.wikidata.org/wiki/Q7646876","display_name":"Surrogate data","level":3,"score":0.4252403974533081},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4216562509536743},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40902969241142273},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3493961691856384},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3217610716819763},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16563913226127625},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.11566197872161865},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.10487210750579834},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.05382734537124634},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-78750-8_12","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-78750-8_12","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-04962665v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04962665","pdf_url":"https://hal.science/hal-04962665/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the International Symposium on Automated Technology for Verification and Analysis, Oct 2024, Kyoto, Japan. pp.234-255, ⟨10.1007/978-3-031-78750-8_12⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04962665v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04962665","pdf_url":"https://hal.science/hal-04962665/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the International Symposium on Automated Technology for Verification and Analysis, Oct 2024, Kyoto, Japan. pp.234-255, ⟨10.1007/978-3-031-78750-8_12⟩","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"score":0.5,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1190252364","display_name":"CAREER: Verified AI in Cyber-Physical Systems through Input Quantization","funder_award_id":"2237229","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G12182266","display_name":"Formal Analysis and Design of AI-intensive Cyber-Physical Systems","funder_award_id":"ANR-20-JSTM-0001","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G381729284","display_name":null,"funder_award_id":"N00014-22-1-2156","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4720003262","display_name":null,"funder_award_id":"N00014-22","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6098521345","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7425413337","display_name":null,"funder_award_id":"-0001","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G757303388","display_name":null,"funder_award_id":"FA9550-19-1-0288","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8543137882","display_name":null,"funder_award_id":"FA9550-21-1-0121","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320332923","display_name":"U.S. Navy","ror":"https://ror.org/03ar0mv07"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4407363303.pdf"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W1547304883","https://openalex.org/W1966224165","https://openalex.org/W1997054581","https://openalex.org/W2039287452","https://openalex.org/W2049399166","https://openalex.org/W2092884371","https://openalex.org/W2095274657","https://openalex.org/W2112656403","https://openalex.org/W2126999002","https://openalex.org/W2131399618","https://openalex.org/W2153803621","https://openalex.org/W2554968732","https://openalex.org/W2561027863","https://openalex.org/W2621540998","https://openalex.org/W2759950027","https://openalex.org/W2841721725","https://openalex.org/W2938564214","https://openalex.org/W2963006871","https://openalex.org/W2963657380","https://openalex.org/W2964119648","https://openalex.org/W2982365423","https://openalex.org/W3002440596","https://openalex.org/W3023131782","https://openalex.org/W3034174753","https://openalex.org/W3046650501","https://openalex.org/W3089624132","https://openalex.org/W3105047841","https://openalex.org/W3106539157","https://openalex.org/W3119081436","https://openalex.org/W3126331428","https://openalex.org/W3184919107","https://openalex.org/W3199281236","https://openalex.org/W3204851156","https://openalex.org/W3217403887","https://openalex.org/W3217481449","https://openalex.org/W4229029576","https://openalex.org/W4238160257","https://openalex.org/W4290087483","https://openalex.org/W4311273067","https://openalex.org/W4387755440","https://openalex.org/W4391020705","https://openalex.org/W4396571376"],"related_works":["https://openalex.org/W4287391569","https://openalex.org/W3212229229","https://openalex.org/W3198903284","https://openalex.org/W2912622974","https://openalex.org/W2370197656","https://openalex.org/W3209671989","https://openalex.org/W2910249264","https://openalex.org/W2122194038","https://openalex.org/W4307739277","https://openalex.org/W4387323382"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}