Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Approximation AlgorithmsCovers approximation algorithms for optimization problems, LP relaxation, and randomized rounding techniques.
Optimisation in Energy SystemsExplores optimization in energy system modeling, covering decision variables, objective functions, and different strategies with their pros and cons.
Optimization AlgorithmsCovers optimization algorithms, convergence properties, and time complexity of sequences and functions.
