Essays about: "Carl Åkerman Rydbeck"

Found 2 essays containing the words Carl Åkerman Rydbeck.

1. 1. Formalisation of Polynomials in Cubical Type Theory Using Cubical Agda

   University essay from Stockholms universitet/Matematiska institutionen

   Author : Carl Åkerman Rydbeck; [2022]
   Keywords : ;

   Abstract : We formalise polynomials over commutative rings in cubical type theory using Cubical Agda as proof assistant. On the basis of a formalisation of polynomials as number sequences with only a finite number of non-zero values, we use higher inductive types to formulate a list-based definition using two point constructors and two path constructors. READ MORE

3. 2. Epistemic Logic for the Multi-Agent Knowledge-Based Subset Construction

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

   Author : Carl Åkerman Rydbeck; [2021]
   Keywords : ;

   Abstract : We study multi-agent games on graphs, in relation to the multi-agent knowledgebased subset construction (MKBSC) – a mathematical tool for knowledgebased strategy synthesis. We consider the problem of applying a formal logic related to agent knowledge in this context. READ MORE