Runtime Enforcement Using Knowledge Bases

Published in FASE, 2023

Recommended citation: Eduard Kamburjan, Crystal Chang Din. (2023). FASE. Springer.

Preprint