Summary: This post will dig into the verification challenges of autonomous systems, and especially into the challenge of verifying those which use machine learning. This post will discuss the verification of Intelligent Autonomous Systems (IAS) which have to interact with people and the outside world. Examples are AVs, UAVs, and autonomous robots of various kinds. … More Verification challenges of autonomous systems