Distributed controllers for norm enforcement

DOI10.3233/978-1-61499-672-9-751zbMATH Open1403.93146OpenAlexW2575573607MaRDI QIDQ4576207FDOQ4576207

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

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

Mathematics Subject Classification ID

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

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)