Explore projects

AutoFOCUS 3 and OpenModelica models of the FF1 rovers.

Systems Under Test (SUTs) to test OpenSBT with.

GuideForce Implementation

Implementation for "Inferring Region Types via Abstract Transformations" (APLAS 2022)

Prescan Runner is a plugin for OpenSBT to apply search-based testing to a SUT simulated in Prescan.

Core components of the OpenSBT framework.

Evaluate XOSC scenarios using a highly parallelizable CARLA setup!

Run distributed FMI-based co-simulations in ROS!