Implementing AI technologies, like humanoid robots in factories, necessitates rigorous verification to ensure reliability and safety. The challenge lies in achieving high levels of reliability akin to industry standards like Six Sigma, where one error in a million is acceptable. While industry settings offer the advantage of keeping robots isolated from humans to prevent accidents, the reliability of AI systems remains a critical concern. In the realm of home robotics, the vision of having robots perform various tasks at home is enticing, raising implications for safety and reliability as well.