Skip to content

Commit

Permalink
Merge branch 'main' into clarify-startup
Browse files Browse the repository at this point in the history
  • Loading branch information
David Conner committed Oct 17, 2024
2 parents 128884b + 9ba460e commit e787f98
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 1 deletion.
2 changes: 2 additions & 0 deletions technologies/README.md
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 e787f98

Please sign in to comment.