Towards blockchain-based robonomics: autonomous agents behavior validation

by   Konstantin Danilov, et al.

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 agent-based service providers in a decentralized trading market, using the Model Checking method based on the mathematical model of finite state automata and Temporal Logic properties of interest. To demonstrate this concept, we implemented the methodology in the Duckietown application, moving an autonomous mobile robot to achieve a mission goal with the following behavior validation at the end of a completed scenario.


Perpetual Contract NFT as Collateral for DeFi Composability

Ethereum and its standardized token interface have formed decentralized ...

The Nubo Virtual Services Marketplace

In this paper, we describe a virtual services marketplace, called Nubo, ...

SPENDER: A Platform for Secure and Privacy-Preserving Decentralized P2P E-Commerce

The blockchain technology empowers secure, trustless, and privacy-preser...

It Takes Two to #MeToo - Using Enclaves to Build Autonomous Trusted Systems

We provide enhanced security against insider attacks in services that ma...

A Formal Framework of Virtual Organisations as Agent Societies

We propose a formal framework that supports a model of agent-based Virtu...

DCarbonX Decentralised Application: Carbon Market Case Study

Decentralized applications developed using blockchain technology provide...

Please sign up or login with your details

Forgot password? Click here to reset