SESAME H2020 Project

An H2020 Project on Secure and Safe Multi-Robot Systems

Pinned Repositories

exsce
Language:SCSS0 4 00
FloorPlan-DSL
A DSL for modeling the indoor floor plans of buildings
Language:Python1 0 00
floorplan-dsl-replication-package
Replication Package for the MODELS 2023 submission on the FloorPlan DSL
0 0 00
MLTesting
Python Implementation of DeepKnowledge
Language:Python0 3 00
MRS-Gazebo-Simulation
MRS Gazebo Simulation
Language:Python0 4 01
runtime_DeepKnowledge
Language:Python0 3 00
simtesting-wsl-support
Support utilities for WSL integration
Language:Shell0 3 00
simulationBasedTesting
Language:Jupyter Notebook0 5 01

SESAME H2020 Project's Repositories

sesame-project/FloorPlan-DSL
A DSL for modeling the indoor floor plans of buildings
Language:Python1 0 00
sesame-project/exsce
Language:SCSS0 4 00
sesame-project/floorplan-dsl-replication-package
Replication Package for the MODELS 2023 submission on the FloorPlan DSL
0 0 00
sesame-project/MLTesting
Python Implementation of DeepKnowledge
Language:Python0 3 00
sesame-project/MRS-Gazebo-Simulation
MRS Gazebo Simulation
Language:Python0 4 01
sesame-project/runtime_DeepKnowledge
Language:Python0 3 00
sesame-project/simtesting-wsl-support
Support utilities for WSL integration
Language:Shell0 3 00
sesame-project/simulationBasedTesting
Language:Jupyter Notebook0 5 01