Sökning: "Lars Hummelgren"

Hittade 2 uppsatser innehållade orden Lars Hummelgren.

1. 1. A contract language for modular specification and verification of temporal properties

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Lars Hummelgren; [2020]
   Nyckelord :;

   Sammanfattning : Deductive software verification is used to prove correctness of programs with respect to contracts. Contracts are commonly expressed on procedures of a program using Hoare logic. LÄS MER

3. 2. Using PAQ8L to play games of perfect information

   Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Lars Hummelgren; Anton Lyxell; [2018]
   Nyckelord :;

   Sammanfattning : One of the best compression algorithms to date in terms of compression ratio is PAQ8L. This thesis shows how PAQ8L can be used to predict moves in a four by four variant of tic-tac-toe. We define three agents to benchmark the performance of PAQ8L. LÄS MER