Skip to content

GitLab

Discrete Event Controller Synthesis · Changes

Page history
suchitel updated page: Discrete Event Controller Synthesis authored by Sebastian Uchitel's avatar Sebastian Uchitel
Show whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
enduser/Discrete-Event-Controller-Synthesis.md
View page @ 19063856
......@@ -119,5 +119,5 @@ controllerSpec Goal = {
heuristic ||DirectedController = Plant~{Goal}.
```
* [DCS](enduser/DCS)
\ No newline at end of file
---
[← End User](End-User)
\ No newline at end of file