2 papers
cs.SE2025
Reflections on the design, applications and implementations of the normative specification language eFLINT
L. Thomas van Binsbergen, Christopher A. Esterhuyse, Tim Müller
Checking the compliance of software against laws, regulations and contracts is increasingly important and costly as the embedding of software into societal practices is becoming mo…
cs.LO2025
JustAct: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen
In open multi-agent agent systems that cross organisational boundaries, agent actions must be regulated by complex policies. Consider medical data processing systems, which must ob…