Definitions

Verification of Autonomous Systems for Dummies

Most important terms in simplest language (pick from the Glossary)

• This section is for total newbies and are not aware about challenges and problems or terms
• How to avoid being biased? E.g. highlight one area more than others