AutoFOCUS 3 and OpenModelica models of the FF1 rovers.
Systems Under Test (SUTs) to test OpenSBT with.
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!