Distributed controllers for norm enforcement

DOI10.3233/978-1-61499-672-9-751MaRDI QIDQ4576207zbMATH OpenOpenAlexFDO

Authors Bas Testerink, Mehdi Dastani, Nils Bulling

Publication date 12 July 2018

Full work available at URL https://doi.org/10.3233/978-1-61499-672-9-751

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Automated systems (robots, etc.) in control theory (93C85)

Recommendations

• Norm enforcement as supervisory control
• Norm-based mechanism design
• A dynamic logic of norm change
• Programming norm change
• Norm specification and verification in multiagent systems

Cited in

(1)

• Data-Driven Revision of Conditional Norms in Multi-Agent Systems

This page was built for publication: Distributed controllers for norm enforcement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4576207)