| ... | @@ -119,5 +119,5 @@ controllerSpec Goal = { |
... | @@ -119,5 +119,5 @@ controllerSpec Goal = { |
|
|
heuristic ||DirectedController = Plant~{Goal}.
|
|
heuristic ||DirectedController = Plant~{Goal}.
|
|
|
```
|
|
```
|
|
|
|
|
|
|
|
|
|
---
|
|
|
* [DCS](enduser/DCS) |
|
[← End User](End-User) |
|
\ No newline at end of file |
|
\ No newline at end of file |
