Proses untuk memastikan bahwa setiap kebijakan individu berlaku. Dalam Manajemen Kebijakan untuk Komputasi otonom, kebijakan masing-masing diperiksa untuk memastikan bahwa itu adalah sintaksis benar dan bahwa hal itu hanya referensi sensor valid dan efektor.