JustAct: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies.
Abstract
This extended article presents the JustAct framework, for distributed systems of decentralised control over how normative policy fragments are created, disseminated, and enforced on agent actions. The article explains the article in detail, and presents the underlying software artefacts: a prototype framework and enfrocement runtime system implementation in Rust, and a formalisation of the core theory in Rocq.
Type
Christopher Esterhuyse
Postdoc
Christopher is a post-doc researcher working on (languages for) specifying distributed systems, for eliciting, negotiating, testing, and verifying system properties.
L. Thomas van Binsbergen
Associate Professor
