Explore projects

The Startup Shutdown Synchronization Protocol (SSSP) defines a standard for synchronous, real-time capable startup, operation and shutdown on distributed systems, while keeping complexity minimal.

Reproducibility Evaluation of NeurIPS 2019 Paper "Composable Specification Language for ReinforcementLearning Tasks" by Kishor Jothimurugan, Rajeev Alur and Osber Bastani. Contains the results of our executed test runs and a jupyter notebook for viz.

A HTML+JS based visualization tool capable of communicating via various middlewares

This repository is a collection of all published papers with the results and their implementations.

This package provides the implementation of ml4proflow on RECS systems.

Marker-based object tracking

This module provides an interface for the AMiRo (Autonomous Mini Robot) in ml4proflow

Übung: automatische Tests durch Continuous Integration mit Forschungsdaten und Publikationsdaten

A collection of tools to run virtual navigation experiments using the Unity3D game engine.

Webseite der AG Medical Education

[Jan Pöppel] Repository containing the Bayesian Theory of Mind models of my PhD and used for the results in my thesis.

The most minimal project with GitLab CI I can imagine.