Runtime Enforcement Using Knowledge Bases

Published in FASE, 2023

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