Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"Interaktive Systeme"”.
-
Games and logical expressiveness
For the study of interactive systems, game theory provides a framework of versatile models and intuitive languages to abstract from the intricacies of distributed control. The effectiveness of this framework relies on logical foundations that allow rigorous specification and reasoning in terms of …