Pinned Loading
Repositories
Showing 10 of 340 repositories
- smc_verifiable_plugins Public Forked from convince-project/smc_verifiable_plugins
Tools and base-class for developing C++ plugins, that can be loaded in SMC Storm for properties verification
boschresearch/smc_verifiable_plugins’s past year of commit activity - RealisticBicycleDynamicsModel Public
The Realistic Bicycle Dynamics Model for the "Simulation of Urban MObility" (SUMO) simulator is based on real-world bicycle data from the SimRa dataset. The model implements realistic speed, acceleration, and deceleration behavior of bicycles in urban scenarios.
boschresearch/RealisticBicycleDynamicsModel’s past year of commit activity - image-render-actions-std-blender Public
Standard Blender actions for the image-render automation system
boschresearch/image-render-actions-std-blender’s past year of commit activity - blackboxopt Public
Blackbox optimization algorithms with a common interface, along with useful helpers like parallel optimization loops, analysis and visualization scripts.
boschresearch/blackboxopt’s past year of commit activity