This is your work, valued

Ivan Gavran

Expert
@ivan-gavran
ivan-gavran.github.io/

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

26

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

23

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

10

antlab. C++

2

ltl-planner. SMT

1

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.

1