Skip to content

Commit

Permalink
New: Adds link to skiros2_pyrobosim_lib Readme
Browse files Browse the repository at this point in the history
  • Loading branch information
@matthias-mayr
matthias-mayr committed Oct 16, 2024
1 parent 6871287 commit 4bbead7
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions technologies/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,8 @@ This is known as **task planning**, and you can learn more in [this blog post](h

In this workshop, you will explore task planning in the ROS 2 ecosystem using [SkiROS2](https://github.com/RobotLabLTH/skiros2).

[Start here to solve the workshop problems with SkiROS2 and to additionally explore task planning.](https://github.com/matthias-mayr/skiros2_pyrobosim_lib).

---

## Formal Verification and Model Checking
Expand Down

0 comments on commit 4bbead7

Please sign in to comment.