Master Thesis: Semantic Guardrails for Autonomous Networks - Verification of Constraint Preservation | Ericsson