{"id":"https://openalex.org/W2783115857","doi":"https://doi.org/10.1007/978-3-319-89884-1_26","title":"Quantitative Analysis of Smart Contracts","display_name":"Quantitative Analysis of Smart Contracts","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2783115857","doi":"https://doi.org/10.1007/978-3-319-89884-1_26","mag":"2783115857"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-89884-1_26","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_26","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_26.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_26.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052607806","display_name":"Krishnendu Chatterjee","orcid":"https://orcid.org/0000-0002-4561-241X"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Krishnendu Chatterjee","raw_affiliation_strings":["IST Austria (Institute of Science and Technology Austria), Klosterneuburg, Austria","IST Austria (Institute of Science and Technology Austria)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria (Institute of Science and Technology Austria), Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"IST Austria (Institute of Science and Technology Austria)","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005241421","display_name":"Amir Kafshdar Goharshady","orcid":"https://orcid.org/0000-0003-1702-6584"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Amir Kafshdar Goharshady","raw_affiliation_strings":["IST Austria (Institute of Science and Technology Austria), Klosterneuburg, Austria","IST Austria (Institute of Science and Technology Austria)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IST Austria (Institute of Science and Technology Austria), Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"IST Austria (Institute of Science and Technology Austria)","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016093552","display_name":"Yaron Velner","orcid":null},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Yaron Velner","raw_affiliation_strings":["Hebrew University of Jerusalem, Jerusalem, Israel","[Hebrew university of Jerusalem]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hebrew University of Jerusalem, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"[Hebrew university of Jerusalem]","institution_ids":["https://openalex.org/I197251160"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":null,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"739","last_page":"767"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9984999895095825,"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/T10237","display_name":"Cryptography and Data Security","score":0.995199978351593,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7332605123519897},{"id":"https://openalex.org/keywords/stateless-protocol","display_name":"Stateless protocol","score":0.6039938926696777},{"id":"https://openalex.org/keywords/stateful-firewall","display_name":"Stateful firewall","score":0.587054431438446},{"id":"https://openalex.org/keywords/incentive","display_name":"Incentive","score":0.5224089622497559},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5080275535583496},{"id":"https://openalex.org/keywords/sequential-game","display_name":"Sequential game","score":0.5035929083824158},{"id":"https://openalex.org/keywords/stochastic-game","display_name":"Stochastic game","score":0.4810124337673187},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.45312264561653137},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.42788273096084595},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.42270708084106445},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.35439446568489075},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16761717200279236},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.14574897289276123},{"id":"https://openalex.org/keywords/microeconomics","display_name":"Microeconomics","score":0.12214496731758118},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.09114691615104675}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7332605123519897},{"id":"https://openalex.org/C103613024","wikidata":"https://www.wikidata.org/wiki/Q230924","display_name":"Stateless protocol","level":3,"score":0.6039938926696777},{"id":"https://openalex.org/C22927095","wikidata":"https://www.wikidata.org/wiki/Q1784206","display_name":"Stateful firewall","level":3,"score":0.587054431438446},{"id":"https://openalex.org/C29122968","wikidata":"https://www.wikidata.org/wiki/Q1414816","display_name":"Incentive","level":2,"score":0.5224089622497559},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5080275535583496},{"id":"https://openalex.org/C73795354","wikidata":"https://www.wikidata.org/wiki/Q287618","display_name":"Sequential game","level":3,"score":0.5035929083824158},{"id":"https://openalex.org/C22171661","wikidata":"https://www.wikidata.org/wiki/Q1074380","display_name":"Stochastic game","level":2,"score":0.4810124337673187},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.45312264561653137},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.42788273096084595},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.42270708084106445},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.35439446568489075},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16761717200279236},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.14574897289276123},{"id":"https://openalex.org/C175444787","wikidata":"https://www.wikidata.org/wiki/Q39072","display_name":"Microeconomics","level":1,"score":0.12214496731758118},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.09114691615104675},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1007/978-3-319-89884-1_26","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_26","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_26.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:arXiv.org:1801.03367","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1801.03367","pdf_url":"https://arxiv.org/pdf/1801.03367","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"mag:2783115857","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/1801.03367","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-107140","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-107140","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference paper"},{"id":"pmh:oai:repository.ust.hk:1783.1-107140","is_oa":false,"landing_page_url":"http://www.scopus.com/record/display.url?eid=2-s2.0-85045674762&origin=inward","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"},{"id":"doi:10.48550/arxiv.1801.03367","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1801.03367","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"mag:3125434424","is_oa":false,"landing_page_url":"https://repository.ust.hk/ir/Record/1783.1-107140","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":null,"is_accepted":false,"is_published":null,"raw_source_name":"Lecture notes in computer science","raw_type":null}],"best_oa_location":{"id":"doi:10.1007/978-3-319-89884-1_26","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_26","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_26.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.5,"display_name":"Partnerships for the goals"}],"awards":[{"id":"https://openalex.org/G2554063606","display_name":"Efficient Algorithms for Computer Aided Verification","funder_award_id":"ICT15-003","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G2655136877","display_name":null,"funder_award_id":"S11407","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G4360933436","display_name":null,"funder_award_id":"Project ICT15-003","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G683671635","display_name":null,"funder_award_id":"S11407-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2783115857.pdf","grobid_xml":"https://content.openalex.org/works/W2783115857.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W59692733","https://openalex.org/W75368128","https://openalex.org/W1496590343","https://openalex.org/W1515174179","https://openalex.org/W1568478782","https://openalex.org/W1568729458","https://openalex.org/W1593428110","https://openalex.org/W1606443439","https://openalex.org/W1771153709","https://openalex.org/W1786377004","https://openalex.org/W1787074469","https://openalex.org/W1839854015","https://openalex.org/W1865597116","https://openalex.org/W1907293129","https://openalex.org/W2016206563","https://openalex.org/W2041261743","https://openalex.org/W2061438988","https://openalex.org/W2072309970","https://openalex.org/W2081840025","https://openalex.org/W2093709900","https://openalex.org/W2116888614","https://openalex.org/W2120600989","https://openalex.org/W2122049982","https://openalex.org/W2162808394","https://openalex.org/W2175661655","https://openalex.org/W2293230997","https://openalex.org/W2319440520","https://openalex.org/W2508356508","https://openalex.org/W2538848838","https://openalex.org/W2539190473","https://openalex.org/W2604844934","https://openalex.org/W2615794775","https://openalex.org/W2807390549","https://openalex.org/W2913459036","https://openalex.org/W2952266944","https://openalex.org/W2952926927","https://openalex.org/W4237131304","https://openalex.org/W4251718220","https://openalex.org/W6604792996"],"related_works":["https://openalex.org/W2963125462","https://openalex.org/W2539190473","https://openalex.org/W3116313671","https://openalex.org/W3015405072","https://openalex.org/W3171377859","https://openalex.org/W2962878673","https://openalex.org/W3048781566","https://openalex.org/W3071203689","https://openalex.org/W2948128287","https://openalex.org/W2996885339","https://openalex.org/W3200256353","https://openalex.org/W2503207772","https://openalex.org/W2973974458","https://openalex.org/W2963960136","https://openalex.org/W3159755766","https://openalex.org/W3157342556","https://openalex.org/W3096072104","https://openalex.org/W1608598181","https://openalex.org/W2611719544","https://openalex.org/W3203047360"],"abstract_inverted_index":{"Smart":[0,23],"contracts":[1,24,60],"are":[2,6,114,173],"computer":[3],"programs":[4,192],"that":[5,43],"executed":[7],"by":[8],"a":[9,73,83,179],"network":[10],"of":[11,18,29,35,55,79,99,146,167,190],"mutually":[12],"distrusting":[13],"agents,":[14],"without":[15],"the":[16,33,50,62,133,142,163,168,191],"need":[17],"an":[19,187,197],"external":[20],"trusted":[21],"authority.":[22],"handle":[25],"and":[26,64,88,110,124,204],"transfer":[27],"assets":[28],"considerable":[30],"value":[31],"(in":[32],"form":[34],"crypto-currency":[36],"like":[37],"Bitcoin).":[38],"Hence,":[39],"it":[40,96,159],"is":[41,46,156],"crucial":[42],"their":[44,136],"implementation":[45],"bug-free.":[47],"We":[48,71],"identify":[49],"utility":[51],"(or":[52],"expected":[53],"payoff)":[54],"interacting":[56],"with":[57],"such":[58,69,76,121,202],"smart":[59,80,152,184,210],"as":[61,95,117,122,158,174],"basic":[63],"canonical":[65],"quantitative":[66,77],"property":[67],"for":[68,75,105,162,183],"contracts.":[70,81,211],"present":[72,177],"framework":[74,85],"analysis":[78,137,155],"Such":[82],"formal":[84],"poses":[86],"new":[87],"novel":[89],"research":[90],"challenges":[91],"in":[92,132],"programming":[93,181],"languages,":[94],"requires":[97],"modeling":[98,111],"game-theoretic":[100,127],"aspects":[101],"to":[102,141,150,193,200],"analyze":[103,151],"incentives":[104,128],"deviation":[106],"from":[107],"honest":[108],"behavior":[109],"utilities":[112],"which":[113],"not":[115],"specified":[116],"standard":[118],"temporal":[119],"properties":[120],"safety":[123],"termination.":[125],"While":[126],"have":[129],"been":[130,139],"analyzed":[131],"security":[134],"community,":[135],"has":[138],"restricted":[140],"very":[143],"special":[144],"case":[145],"stateless":[147],"games.":[148],"However,":[149],"contracts,":[153],"stateful":[154],"required":[157],"must":[160],"account":[161],"different":[164],"program":[165],"states":[166],"protocol.":[169],"Our":[170],"main":[171],"contributions":[172],"follows:":[175],"we":[176],"(i)":[178],"simplified":[180],"language":[182],"contracts;":[185],"(ii)":[186],"automatic":[188],"translation":[189],"state-based":[194],"games;":[195,203],"(iii)":[196],"abstraction-refinement":[198],"approach":[199],"solve":[201],"(iv)":[205],"experimental":[206],"results":[207],"on":[208],"real-world-inspired":[209]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":4}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}