The topics of this thesis are the modal μ-calculus and parity games. The modal μ-calculus is a common logic for model-checking in computer science. The model-

This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2

This thesis is concerned with investigating elements of computational social choice in the light of real-world applications. We contribute to a better understan

In traditional service architectures that follow the service statelessness principle, the state is primarily held in the data tier. Here, service operators util