ftsrg / BME-MODES3Links
Model-based Demonstrator for Smart and Safe Systems
☆16Updated 6 years ago
Alternatives and similar repositories for BME-MODES3
Users that are interested in BME-MODES3 are comparing it to the libraries listed below
Sorting:
- An efficient graph solver for generating well-formed models☆25Updated 3 years ago
- This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…☆17Updated 3 weeks ago
- Particle Filter (using CImg library)☆29Updated 13 years ago
- Open Source AADL2 Tool Environment☆48Updated 2 months ago
- A Lightweight Bayesian Filtering Library with real-time support☆19Updated 6 years ago
- ☆18Updated 2 years ago
- Robot navigation algorithms implemented in SPARK☆12Updated 11 years ago
- Monocular Visual Odometry in Python☆17Updated 8 years ago
- Examples and case-study that use OSATE☆56Updated 8 months ago
- JKind - An infinite-state model checker for safety properties in Lustre☆55Updated 5 months ago
- A dataset of 200+ bugs in the Robot Operating System with Docker containers☆36Updated last year
- A visual SLAM library accompany with CoSLAM☆26Updated 7 years ago
- ☆11Updated 9 years ago
- C Implementations of Particle Filter☆16Updated 11 years ago
- This project introduces sample programs of the URG library. Applications using URG and URG library are also introduced here. URG is Scann…☆12Updated 5 years ago
- Programmatically control ROS Bag files.☆13Updated 8 years ago
- 6 DOF Stereo Visual EKF Slam☆15Updated 11 years ago
- Links to tools by subject☆386Updated last year
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆60Updated last week
- Library for detecting and tracking humans using 3D sensing systems (stereo and kinect-like)☆38Updated 12 years ago
- Monocular Multiview Object Tracking with 3D Aspect Parts☆15Updated 5 years ago
- Research tools for autonomous systems in Python☆62Updated 3 years ago
- A collection of files that I regularly use in my research for object recognition/classification☆27Updated 8 years ago
- Replicating Convolutional Neural Network-based Place Recognition for STAT946☆55Updated 7 years ago
- A set of computer vision tools☆11Updated 10 years ago
- Designing an Autonomous Exploration Architecture for an Indoor Quadcopter☆47Updated 11 years ago
- PTAM with ROS Integration and Binary Feature Relocalization☆15Updated 11 years ago
- Official Khronos OpenVX Implementation☆14Updated 10 years ago
- A c++ implementation of an affine invariant feature sampling technique used in ASIFT☆11Updated 6 years ago
- The Git repository for the mCRL2 toolset.☆103Updated this week