Popular repositories Loading

1. multiple_turtlebots_stage_amcl multiple_turtlebots_stage_amcl Public

   An example of simulation of multiple robots in stage. They are using amcl node for localization.

   Python 24 11

2. samples2LTL samples2LTL Public

   A tool for obtaining LTL formulas from a sample of positive and negative words.

   Python 20 5

3. multiple_turtlebots_real_world multiple_turtlebots_real_world Public

   A shared attempt to create a launch file for multiple turtlebots (under namespaces)

   CMake 10 6

4. antlab antlab Public

   C++ 2 1

5. ltl-planner ltl-planner Public

   SMT 1

6. hipster hipster Public

   Forked from citiususc/hipster

   Hipster4j is a lightweight and powerful heuristic search library for Java and Android. It contains common, fully customizable algorithms such as Dijkstra, A* (A-Star), DFS, BFS, Bellman-Ford and more.

   Java 1