Explore projects

Lab exercises and instructions for SAIOT course

Requirement falsification for cyber-physical systems using generative models and the OGAN algorithm. This is an entry in the falsification track of the ARCH-COMP 2023 competition on verifying continuous and hybrid systems.

A Clearer and Simpler MobileNet Implementation in TensorFlow

Object detection, 3D detection, and pose estimation using center point detection:

Kodexempel som gjorts under Wictor Lund's OS kurs.

WOGAN-UAV is a test generation tool created for the Unmanned Aerial Vehicle Testing Competition held as a part of the Search-Based and Fuzz Testing (SBFT) 2024 workshop (https://sbft24.github.io/)