Symbolische Algorithmen für Graphen und Markov-Entscheidungsprozesse mit Fairnesszielen