Modeling norm specification and verification in multiagent systems
From MaRDI portal
Recommendations
Cited in
(17)- Formal frameworks for verifying normative multi-agent systems
- Norm enforcement as supervisory control
- Development and implementation of a technique for norms-adaptable agents in open multi-agent communities
- scientific article; zbMATH DE number 1712374 (Why is no real title available?)
- Reasoning about dynamic normative systems
- The norm implementation problem in normative multi-agent systems
- Specification and Verification of Multi-Agent Systems
- A normative multiagent approach to requirements engineering
- Normative Multi-agent Programs and Their Logics
- A logic for normative multi-agent programs
- Computational models for normative multi-agent systems
- The uses of norms
- Norm specification and verification in multiagent systems
- Modeling norm dynamics in multiagent systems
- Data-Driven Revision of Conditional Norms in Multi-Agent Systems
- d-\( \mathcal{B} \): a language for well-founded deontic planning
- Planning for temporally extended goals in pure-past linear temporal logic
This page was built for publication: Modeling norm specification and verification in multiagent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5869530)
