Skip to content

GitLab

End User · Changes

Page history
Update End User authored by Sebastian Uchitel's avatar Sebastian Uchitel
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
End-User.md
View page @ b3065d25
...@@ -13,8 +13,8 @@ A **good starting point** for modelling and analysis, and also some help with th ...@@ -13,8 +13,8 @@ A **good starting point** for modelling and analysis, and also some help with th
If you want to define your own examples, check the following sections: If you want to define your own examples, check the following sections:
* [Hello World](enduser/Hello World) * [Hello World](enduser/Hello World)
* [FSP language options](enduser/fsp_keywords) * [FSP language options](enduser/FSP)
* [Fluents & LTL](enduser/fltl) * [Fluents & LTL](enduser/Fluents and LTL properties)
* [Supervisory Control](enduser/supervisoryControl) * [Supervisory Control](enduser/supervisoryControl)
* [Reactive Synthesis](enduser/reactiveSynthesis) * [Reactive Synthesis](enduser/reactiveSynthesis)
* [DCS](enduser/DCS) * [DCS](enduser/DCS)
......