Discover KTH-SML/ltl_automaton_turtlebot Open Source project

Stars
2
Language
Python
License
MIT License
Created almost 4 years ago
Updated over 3 years ago

KTH-SML

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Provides integration of Turtlebot2 with LTL automaton package

svea

Starter ROS workspace for working with the [s]mall [ve]hicles for [a]utonomy platform

Python

CodeRepositoryTCST

Coupled Multi-Robot Systems under Linear Temporal Logic and Signal Temporal Logic Tasks

C++

ltl_automaton_core

Python

coverage-planar-planner

Multi-agent 2D coverage planner in ROS

Python

level_set_toolchain

Starting kit to computing reachable sets using the Level Set Toolbox

Python

coverage-3d-planner

Multi-agent 3D coverage planner in ROS

Python

circumnavigation-planner

Multi-agent planner for target localization and circumnavigation

Python

motion_capture_simulator

A package to simulate a motion capture system in Gazebo. Provides the same topics as motion_capture_system

Python

pose-stabilization-of-bar-via-aerial-manipulation-and-tethering

Mathematica

control-framework-for-slung-load-transportation-with-two-aerial-vehicles

Mathematica

sml_nexus

SML Nexus 4WD Holonomic Robots Main Repo

cloud-supported-circumnavigation

Multi-agent circumnavigation planner in ROS

Makefile

ITRL-Manufacturing

3D printing profiles and information regarding manufacturing tools in the ITRL lab

Batchfile

collaborative-transportation-of-a-bar-by-two-aerial-vehicles-with-attitude-inner-loop-and-experiment

Mathematica

svea_planners

ROS package with off-the-shelf path planners for SVEA

Python

ltl_automaton_6dof_hebi_arm

Provides integration of the 6-DoF Hebi manipulator with LTL automaton package

Python

nexus_widowx_gazebo

URDF description for Gazebo simulation of Nexus + WidowX mobile manipulators

CMake

KTH-SML/ltl_automaton_turtlebot

KTH-SML

Reviews

Repository Details

More Repositories