Return to Article Details Algorithms for Deciding the Safety of States in Fully Observable Non-deterministic Problems Download Download PDF