**18-24 Sep 2023**

This week we have finished up the literature review and made progress in preparing for the agent-based simulation. We had a call with our project team, Nilu and Rachit to discuss next steps.

On one hand I focused on the analysis of prover selection models with regards to key criteria. It is not yet completed but managed to make significant progress in mapping dependencies and inefficiencies of the different selection methods.

- The draft analysis can be found [under this link](https://hackmd.io/@norbertvadas/H1E3Ni31a).

I have also continued working on a comparison table for prover selection models including visualization. The evaluation still needs to be fine-tuned but I expect this to help us exploring how an optimal model would like and also discover interdependencies between criteria.

- The comparison table is saved [here](https://docs.google.com/spreadsheets/d/1Y8YjRN1Y4TyA3CJAx6GU2mOuWIcMk7u9eOmpk-piRBU/edit?usp=drive_link).

Later during the week I have started on ideating and defining simulation scenarios for the various environments, and also reading about optimization problems to better understand which behaviours or scenarios could be best suited to be analyzed as an optimization problem. This week we will focus on exploring these further, and our team will also meet and work on quantifying certain metrics in preparation for the simulation.