🏷️ Tag: pddl

Modelling Git Operations as Planning Problems

1/20/2021
Modelling Git Operations as Planning Problems

Bachelor Thesis. The goal of this thesis is to formally define a model of a subset of Git commands which mutate the revision graph, and to model those mutations as a planning task in the Planning Domain Definition Language. Multiple ways to model those graphs will be explored and those models will be compared by testing them using a set of planners.

©Tim Bachmann 2022

Built with SvelteKit and hosted on GitHub Pages.
View this website on GitHub!