Towards blockchain-based robonomics: autonomous agents behavior validation
Konstantin Danilov, Ruslan Rezin, Alexander Kolotov, Ilya Afanasyev

TL;DR
This paper proposes a blockchain-based validation method for autonomous agents in decentralized markets, using model checking to ensure correct liability execution, demonstrated through a mobile robot application.
Contribution
It introduces a novel validation methodology for autonomous agents' liability execution using model checking within blockchain-based markets.
Findings
Validated autonomous robot behavior in a decentralized trading scenario.
Demonstrated the effectiveness of model checking for liability validation.
Enhanced trustworthiness of autonomous agents via blockchain validation.
Abstract
The decentralized trading market approach, where both autonomous agents and people can consume and produce services expanding own opportunities to reach goals, looks very promising as a part of the Fourth Industrial revolution. The key component of the approach is a blockchain platform that allows an interaction between agents via liability smart contracts. Reliability of a service provider is usually determined by a reputation model. However, this solution only warns future customers about an extent of trust to the service provider in case it could not execute any previous liabilities correctly. From the other hand a blockchain consensus protocol can additionally include a validation procedure that detects incorrect liability executions in order to suspend payment transactions to questionable service providers. The paper presents the validation methodology of a liability execution for…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
