{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:38:43Z","timestamp":1759333123803,"version":"3.37.3"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100009133","name":"KIT-Publication Fund of the Karlsruhe Institute of Technology","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009133","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/access.2022.3154445","type":"journal-article","created":{"date-parts":[[2022,2,24]],"date-time":"2022-02-24T20:26:31Z","timestamp":1645734391000},"page":"31699-31713","source":"Crossref","is-referenced-by-count":6,"title":["Analyzing and Predicting Verification of Data-Aware Process Models\u2013A Case Study With Spectrum Auctions"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5680-8346","authenticated-orcid":false,"given":"Elaheh","family":"Ordoni","sequence":"first","affiliation":[{"name":"Institute for Program Structures and Data Organization, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0301-2798","authenticated-orcid":false,"given":"Jakob","family":"Bach","sequence":"additional","affiliation":[{"name":"Institute for Program Structures and Data Organization, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8842-8906","authenticated-orcid":false,"given":"Ann-Katrin","family":"Fleck","sequence":"additional","affiliation":[{"name":"Institute for Economics, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany"}]}],"member":"263","reference":[{"issue":"3","key":"ref1","first-page":"93","article-title":"What really matters in spectrum allocation design","volume":"10","author":"Hazlett","year":"2012","journal-title":"Nw. J. Tech. Intell. Prop."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/9781316471609.007"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1111\/1468-0262.00197"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1257\/mic.2.1.39"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2307\/2977633"},{"volume-title":"Auction Theory","year":"2009","author":"Krishna","key":"ref6"},{"key":"ref7","first-page":"176","article-title":"Auctions: From Walras to the real world","volume-title":"Explorations in Economic Sociology","author":"Smith","year":"1993"},{"article-title":"Heterogeneous bids in auctions with rational and markdown bidders\u2014Theory and experiment","year":"2008","author":"Kirchkamp","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DYSPAN.2007.12"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CBI49978.2020.00027"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1111\/ecoj.12406"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/18"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/8858258"},{"key":"ref14","first-page":"262","article-title":"Learning theory and algorithms for revenue optimization in second-price auctions with reserve","volume-title":"Proc. ICML","author":"Mohri"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.05.004"},{"key":"ref16","article-title":"ML+FV = \u2661? a survey on the application of machine learning to formal verification","volume-title":"arXiv:1806.03600","author":"Amrani","year":"2018"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2016.7748265"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3233\/JIFS-190023"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2942762"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1086\/262118"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1006\/jeth.1999.2531"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1111\/j.1465-6485.2005.00128.x"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.telpol.2017.01.005"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2014.6848057"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2011.5935115"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58666-9_4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16373-9_24"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2019.103181"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34002-4_23"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-11641-5_39"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2014.07.001"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2018.12.002"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75183-0_7"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2019.102867"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3224206"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-91268-4_21"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CANDARW51189.2020.00097"},{"key":"ref38","article-title":"Towards practical verification of machine learning: The case of computer vision systems","volume-title":"arXiv:1712.01785","author":"Pei","year":"2017"},{"key":"ref39","article-title":"Verification for machine learning, autonomy, and neural networks survey","volume-title":"arXiv:1810.01989","author":"Xiang","year":"2018"},{"key":"ref40","first-page":"51","article-title":"SATS: A universal spectrum auction test suite","volume-title":"Proc. AAMAS","author":"Weiss"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813825"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1111\/joes.12017"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0058022"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00899-3_3"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177732144"},{"volume-title":"Theory of Games and Economic Behavior","year":"1944","author":"von Neumann","key":"ref48"},{"volume-title":"Choices: An Introduction to Decision Theory","year":"1987","author":"Resnik","key":"ref49"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1108\/15265940810875603"},{"issue":"1","key":"ref51","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1010933404324","article-title":"Random forests","volume":"45","author":"Breiman","year":"2001","journal-title":"Mach. Learn."},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/0005-2795(75)90109-9"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1201\/b17625-4"},{"key":"ref54","first-page":"2825","article-title":"Scikit-learn: Machine learning in Python","volume":"12","author":"Pedregosa","year":"2011","journal-title":"J. Mach. Learn. Res."},{"article-title":"Active learning literature survey","year":"2009","author":"Settles","key":"ref55"},{"volume-title":"Information Memorandum: Introducing Offshore Wind Leasing Round 4","year":"2019","key":"ref56"},{"volume-title":"RWE, Total, BP Among Winners in UK Offshore Wind Farm Auction","year":"2021","author":"Twidale","key":"ref57"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/9668973\/09721192.pdf?arnumber=9721192","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,17]],"date-time":"2024-01-17T22:54:42Z","timestamp":1705532082000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9721192\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":57,"URL":"https:\/\/doi.org\/10.1109\/access.2022.3154445","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2022]]}}}