{"id":"https://openalex.org/W2801983037","doi":"https://doi.org/10.1109/is.2018.8710454","title":"Towards Blockchain-Based Robonomics: Autonomous Agents Behavior Validation","display_name":"Towards Blockchain-Based Robonomics: Autonomous Agents Behavior Validation","publication_year":2018,"publication_date":"2018-09-01","ids":{"openalex":"https://openalex.org/W2801983037","doi":"https://doi.org/10.1109/is.2018.8710454","mag":"2801983037"},"language":"en","primary_location":{"id":"doi:10.1109/is.2018.8710454","is_oa":false,"landing_page_url":"https://doi.org/10.1109/is.2018.8710454","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 International Conference on Intelligent Systems (IS)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1805.03241","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048345711","display_name":"Konstantin Danilov","orcid":null},"institutions":[{"id":"https://openalex.org/I4210116741","display_name":"Innopolis University","ror":"https://ror.org/02b7jh107","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210116741"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Konstantin Danilov","raw_affiliation_strings":["Innopolis University, Innopolis, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Innopolis University, Innopolis, Russia","institution_ids":["https://openalex.org/I4210116741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069375426","display_name":"Ruslan Rezin","orcid":"https://orcid.org/0000-0002-0604-2645"},"institutions":[{"id":"https://openalex.org/I4210116741","display_name":"Innopolis University","ror":"https://ror.org/02b7jh107","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210116741"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Ruslan Rezin","raw_affiliation_strings":["Innopolis University, Innopolis, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Innopolis University, Innopolis, Russia","institution_ids":["https://openalex.org/I4210116741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034417609","display_name":"Ilya Afanasyev","orcid":"https://orcid.org/0000-0002-6658-5369"},"institutions":[{"id":"https://openalex.org/I4210116741","display_name":"Innopolis University","ror":"https://ror.org/02b7jh107","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210116741"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Ilya Afanasyev","raw_affiliation_strings":["Innopolis University, Innopolis, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Innopolis University, Innopolis, Russia","institution_ids":["https://openalex.org/I4210116741"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055926236","display_name":"Alexander Kolotov","orcid":null},"institutions":[{"id":"https://openalex.org/I4210116741","display_name":"Innopolis University","ror":"https://ror.org/02b7jh107","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210116741"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Alexander Kolotov","raw_affiliation_strings":["Innopolis University, Innopolis, Russia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Innopolis University, Innopolis, Russia","institution_ids":["https://openalex.org/I4210116741"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3835,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.83045728,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"1","issue":null,"first_page":"222","last_page":"227"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.998199999332428,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9962999820709229,"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.7036803364753723},{"id":"https://openalex.org/keywords/service-provider","display_name":"Service provider","score":0.675014853477478},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.571421205997467},{"id":"https://openalex.org/keywords/liability","display_name":"Liability","score":0.5652570128440857},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5430890321731567},{"id":"https://openalex.org/keywords/reputation","display_name":"Reputation","score":0.520482063293457},{"id":"https://openalex.org/keywords/payment","display_name":"Payment","score":0.5098882913589478},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5010206699371338},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.48740890622138977},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.48128265142440796},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4796748161315918},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.47446829080581665},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.41838011145591736},{"id":"https://openalex.org/keywords/blockchain","display_name":"Blockchain","score":0.3559572398662567},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.23099717497825623},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.09565705060958862},{"id":"https://openalex.org/keywords/marketing","display_name":"Marketing","score":0.09516710042953491}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7036803364753723},{"id":"https://openalex.org/C116537","wikidata":"https://www.wikidata.org/wiki/Q2169973","display_name":"Service provider","level":3,"score":0.675014853477478},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.571421205997467},{"id":"https://openalex.org/C2777834853","wikidata":"https://www.wikidata.org/wiki/Q96776939","display_name":"Liability","level":2,"score":0.5652570128440857},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5430890321731567},{"id":"https://openalex.org/C48798503","wikidata":"https://www.wikidata.org/wiki/Q877546","display_name":"Reputation","level":2,"score":0.520482063293457},{"id":"https://openalex.org/C145097563","wikidata":"https://www.wikidata.org/wiki/Q1148747","display_name":"Payment","level":2,"score":0.5098882913589478},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5010206699371338},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.48740890622138977},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.48128265142440796},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4796748161315918},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.47446829080581665},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.41838011145591736},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.3559572398662567},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.23099717497825623},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09565705060958862},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.09516710042953491},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/is.2018.8710454","is_oa":false,"landing_page_url":"https://doi.org/10.1109/is.2018.8710454","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 International Conference on Intelligent Systems (IS)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1805.03241","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1805.03241","pdf_url":"https://arxiv.org/pdf/1805.03241","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":null,"raw_type":"text"},{"id":"mag:2801983037","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1805.03241.pdf","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":"doi:10.48550/arxiv.1805.03241","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1805.03241","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":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1805.03241","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1805.03241","pdf_url":"https://arxiv.org/pdf/1805.03241","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":null,"raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.4399999976158142,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2801983037.pdf","grobid_xml":"https://content.openalex.org/works/W2801983037.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W63990713","https://openalex.org/W1489391022","https://openalex.org/W1560401079","https://openalex.org/W1587990038","https://openalex.org/W1641829348","https://openalex.org/W1862398452","https://openalex.org/W2002956917","https://openalex.org/W2054801208","https://openalex.org/W2095156325","https://openalex.org/W2115309705","https://openalex.org/W2117189826","https://openalex.org/W2125188427","https://openalex.org/W2137865376","https://openalex.org/W2737347195","https://openalex.org/W2767643860","https://openalex.org/W2772032285","https://openalex.org/W4211068006","https://openalex.org/W6750365012","https://openalex.org/W6785558503"],"related_works":["https://openalex.org/W2767643860","https://openalex.org/W3112921049","https://openalex.org/W24545425","https://openalex.org/W1787320149","https://openalex.org/W3033084289","https://openalex.org/W2488960320","https://openalex.org/W3036561977","https://openalex.org/W2238351782","https://openalex.org/W3186763387","https://openalex.org/W1581927742","https://openalex.org/W3197404042","https://openalex.org/W2885254001","https://openalex.org/W54233637","https://openalex.org/W2949557841","https://openalex.org/W2232610850","https://openalex.org/W3154698599","https://openalex.org/W2780737671","https://openalex.org/W3080335383","https://openalex.org/W2991685462","https://openalex.org/W1483201712"],"abstract_inverted_index":{"The":[0,33,120],"decentralized":[1,136],"trading":[2,137],"market":[3],"approach,":[4],"where":[5],"both":[6],"autonomous":[7,173],"agents":[8,48],"and":[9,13,153],"people":[10],"can":[11,99],"consume":[12],"produce":[14],"services":[15],"expanding":[16],"own":[17],"opportunities":[18],"to":[19,77,112,116,176],"reach":[20],"goals,":[21],"looks":[22],"very":[23],"promising":[24],"as":[25],"a":[26,40,55,62,95,102,127,135,178,190],"part":[27],"of":[28,36,54,75,126,149,157,189],"the":[29,37,78,92,123,140,146,165,168,182,187],"Fourth":[30],"Industrial":[31],"revolution.":[32],"key":[34],"component":[35],"approach":[38],"is":[39,58],"blockchain":[41,96],"platform":[42],"that":[43,105],"allows":[44],"an":[45,73,172],"interaction":[46],"between":[47],"via":[49],"liability":[50,108,128],"smart":[51],"contracts.":[52],"Reliability":[53],"service":[56,79,118,132],"provider":[57,80],"usually":[59],"determined":[60],"by":[61],"reputation":[63],"model.":[64],"However,":[65],"this":[66,161],"solution":[67],"only":[68],"warns":[69],"future":[70],"customers":[71],"about":[72],"extent":[74],"trust":[76],"in":[81,110,134,167],"case":[82],"it":[83],"could":[84],"not":[85],"execute":[86],"any":[87],"previous":[88],"liabilities":[89],"correctly.":[90],"From":[91],"other":[93],"hand":[94],"consensus":[97],"protocol":[98],"additionally":[100],"include":[101],"validation":[103,124,185],"procedure":[104],"detects":[106],"incorrect":[107],"executions":[109],"order":[111],"suspend":[113],"payment":[114],"transactions":[115],"questionable":[117],"providers.":[119],"paper":[121],"presents":[122],"methodology":[125,166],"execution":[129],"for":[130],"agent-based":[131],"providers":[133],"market,":[138],"using":[139],"Model":[141],"Checking":[142],"method":[143],"based":[144],"on":[145],"mathematical":[147],"model":[148],"finite":[150],"state":[151],"automata":[152],"Temporal":[154],"Logic":[155],"properties":[156],"interest.":[158],"To":[159],"demonstrate":[160],"concept,":[162],"we":[163],"implemented":[164],"Duckietown":[169],"application,":[170],"moving":[171],"mobile":[174],"robot":[175],"achieve":[177],"mission":[179],"goal":[180],"with":[181],"following":[183],"behavior":[184],"at":[186],"end":[188],"completed":[191],"scenario.":[192]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":5}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}