https://github.com/nikos-kekatos/spaceex-tutorials
SpaceEx tutorials and features
https://github.com/nikos-kekatos/spaceex-tutorials
executable plotting reachability-analysis spaceex spaceex-tutorials tutorial
Last synced: 29 days ago
JSON representation
SpaceEx tutorials and features
- Host: GitHub
- URL: https://github.com/nikos-kekatos/spaceex-tutorials
- Owner: nikos-kekatos
- Created: 2017-11-02T10:10:30.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-06-14T21:20:49.000Z (almost 7 years ago)
- Last Synced: 2025-02-17T10:48:16.308Z (4 months ago)
- Topics: executable, plotting, reachability-analysis, spaceex, spaceex-tutorials, tutorial
- Language: Jupyter Notebook
- Homepage: https://nikos-kekatos.github.io/SpaceEx-tutorials/
- Size: 3.22 MB
- Stars: 1
- Watchers: 2
- Forks: 2
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# SpaceEx-tutorials
In this repository, SpaceEx tutorials are provided. The first tutorial concerns how to use SpaceEx from the command line and the second one offers a variety of different options to plot the reachable sets computed with SpaceEx. The website can be found at
https://nikos-kekatos.github.io/SpaceEx-tutorials/