Pinned Loading
Repositories
Showing 10 of 362 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 - oc-prompt Public
A companion research repository providing code, configurations, and data workflows to reproduce and extend the experiments from the EMNLP 2025 paper “Over-Generation and Compaction: A Prompting Strategy for Procedural Instruction Adaptation with Large Language Models.”
boschresearch/oc-prompt’s past year of commit activity - smc_ros_gazebo_plugins Public Forked from convince-project/smc_ros_gazebo_plugins
Implementation of SMC plugins to interface SMC Storm to existing Gazebo and ROS processes.
boschresearch/smc_ros_gazebo_plugins’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…