Sökning: "Nikitas Stathatos"
Hittade 1 uppsats innehållade orden Nikitas Stathatos.
1. Interpretations of epistemic mu-calculus over multi-agent games
Master-uppsats, KTH/Matematik (Avd.)Sammanfattning : In this work, we are interested in expressing and studying certain formal properties of multi-agent games. In particular, we are interested in the case in which a team of agents with imperfect information is playing against the environment. LÄS MER
Resultatsidor:
1