Pinned Loading
Repositories
Showing 10 of 346 repositories
- parameterspace Public
Define parameter spaces of mixed types like continuous, integers and categoricals along with conditionalities and priors.
boschresearch/parameterspace’s past year of commit activity - 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
Most used topics
Loading…