Sökning: "Nikitas Stathatos"

Hittade 1 uppsats innehållade orden Nikitas Stathatos.

  1. 1. Interpretations of epistemic mu-calculus over multi-agent games

    Master-uppsats, KTH/Matematik (Avd.)

    Författare :Nikitas Stathatos; [2022]
    Nyckelord :epistemic logic; game theory; multi-agent systems; semantics; epistemisk logik; spelteori; multi-agent systems; semantiker;

    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