Browsing: saif autonomy runtime assurance