/bachelor-thesis

My bachelor's thesis, including an experimental swarm verification model checker running on the GPU.

Primary LanguageJupyter NotebookMIT LicenseMIT

Watchers