Summary: This post acts as a “table of contents” for the whole blog, linking (via tags) to the various posts. There are now quite a few posts in the Foretellix blog, and readers may get lost. So I added Tags to the various posts, and also created this “general orientation” post, which has links to … More Topics in this blog
Summary: This post will talk about “One-shot imitation learning” (a new and exciting direction in Machine Learning), and how that direction could help coverage maximization (which is important for verification). It will then speculate about the general role of ML in Intelligent Autonomous Systems verification. Note: You may have heard already about one-shot imitation learning … More One-shot imitation learning and verification
Summary: Here is a list of papers I read lately about verifying Autonomous Vehicles. For each, I say why I think it is interesting. These papers all start with something like “AVs are upon us, so they’d better be safe and well-verified”, and then go on to explain their (very diverse) ideas about how to … More Some papers about AV verification