Complexity of AlgorithmsExplores algorithm complexity, analyzing efficiency and worst-case scenarios of sorting algorithms.
Continuous Time Markov ChainsCovers the basic theory for continuous time Markov chains and discusses communication, hitting probabilities, recurrence, and transience.
Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Optimization AlgorithmsCovers optimization algorithms, convergence properties, and time complexity of sequences and functions.