Supervision

Oliver Sveijer Spring 2026

Topic: Human Behavior Modeling for Scenario based testing for Scenarios of Tomorrow

Uma Shreeya kalidini Spring 2026

Topic: Evaluation of agentic code generation

Marco Dei Rossi Spring 2021

Topic: Automatically Learning Register Automata from MATLAB Code: A case study in autonomous driving

Thesis Report

Oskar Begic Johansson, Felix Millqvist, Jakob Vinkas Autumn 2020

Topic: Learning Formal Models for Autonomous Driving Development

Carl-Johan Heiker, Jonas Karstrom, Orjan Landgren Autumn 2019

Topic: Selecting Active Automata Learning Algorithm Based on Model Characteristics

Ramon Tijsse Claase Autumn 2019

Topic: 3D simulations to validate an algorithm which generates supervisors automatically

Visiting Student

Bjarki Vilmarsson, Jesper Jarnankar, Liting Zhou, Yu Li Hua Autumn 2017

Topic: Handling unlabelled event logs to discover process models in an automotive production line

Marta Bravo, Anton Frigard, Oscar Harmsen, Erik Lund, Svante Trelsmo Spring 2018

Topic: Autonomous Twizy - Simulation and Integration: Development of a simulation tool for autonomous vehicle software using Apollo Auto framework

Report

Amelie Eldh, Marius Grimstad, Johan Lund, Andreas Lofman, Fredrik Macintosh, Sofia Sundin Spring 2016

Topic: Tro pa mig - Den avsiktliga roboten

Report

Role: Technical supervisor