Essays about: "Lars Hummelgren"
Found 2 essays containing the words Lars Hummelgren.
-
1. A contract language for modular specification and verification of temporal properties
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : 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. READ MORE
-
2. Using PAQ8L to play games of perfect information
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : 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. READ MORE
Result pages:
1