Formal frameworks for verifying normative multi-agent systems
type: Item
instance of: scholarly article
title: Formal frameworks for verifying normative multi-agent systems
zbMATH Open document ID: 1475.68189
DOI: 10.1007/978-3-319-30734-3_20
author: Yanyan Li
publication date: 2021-05-20T00:00:00Z
full work available at URL: http://dspace.library.uu.nl/handle/1874/343758
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T42
zbMATH DE Number: 7350308
MaRDI profile type: Publication
OpenAlex ID: W2344946032
description: scientific article; zbMATH DE number 7350308