Example implementation of the FASE'23 paper "Runtime Enforcement Using Knowledge Bases"
Latest commits.
Builders behind this project.
