Ivan Gavran

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

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

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

antlab. C++

ltl-planner. SMT

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.