Essays about: "semantiker"

Found 2 essays containing the word semantiker.

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

    University essay from KTH/Matematik (Avd.)

    Author : Nikitas Stathatos; [2022]
    Keywords : epistemic logic; game theory; multi-agent systems; semantics; epistemisk logik; spelteori; multi-agent systems; semantiker;

    Abstract : 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. READ MORE

  3. 2. Modelling Parallel Stochastic-Time Systems Using Timed and Synchronous Layers : Introducing the Parallel Stochastic Timed State Machine

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Anton Hampus; [2022]
    Keywords : ;

    Abstract : In the development phase of real-world cyper-physical systems, modelling and analysis often plays a vital role. For instance, before a new system is produced and deployed, questions such as ‘what is the probability that the system will fail within its lifetime?’ must be answered. READ MORE