Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications |
scientific article |
Statements
Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (English)
0 references
20 April 2021
0 references
symbolic control
0 references
safety
0 references
uniform reachability
0 references
uniform attractivity
0 references
quantitative synthesis
0 references
dynamic programming
0 references
0 references
