Modelling of orchestration methods with machine learning

The main goal of the project is to improve the developed solution with machine learning methods for handling the large state space with a higher level of automation. Augmentation and labelling of training data sets, as well as the definition of metrics for machine learning, are planned using formal modelling and verification methods.