Explore projects

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

Core components of the OpenSBT framework.

Evaluate XOSC scenarios using a highly parallelizable CARLA setup!

Run distributed FMI-based co-simulations in ROS!