Marco Dei Rossi
Spring 2021
Topic: Automatically Learning Register Automata from MATLAB Code: A case study in autonomous driving
Master Theses
Master Projects
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
Bachelor Projects
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
Amelie Eldh, Marius Grimstad, Johan Lund, Andreas Lofman, Fredrik Macintosh, Sofia Sundin
Spring 2016
Topic: Tro pa mig - Den avsiktliga roboten
Role: Technical supervisor