Verifying AI systems by extracting automata via learning

确保人工智能程序按照预期的方式运行，已经变得至关重要。然而，无论是从理论还是从实践的角度来看，验证人工智能系统都是一个挑战。该项目旨在研究如何从人工智能系统（如神经网络）中提取数学模型（如自动机）以捕获其行为。该项目将专注于开发自动机（如加权自动机）模型的学习算法，并将其应用于从循环神经网络或其他人工智能系统中提取模型，捕获它们的一些行为以保证安全属性。

Ensuring AI programs behave the way they are expected to, has become of utmost importance. However verifying AI systems is a challenge, both from a theoretical and from a practical point of view. The project aims at investigating how to extract mathematical models (such as automata) from AI systems (such as neural network) to capture their behaviour. The project will focus on developing learning algorithms for models of automata such as weighted automata and on applying them to extract models from recurrent neural networks - or other AI systems - capturing some of their behaviour to guarantee safety properties.