Least-violating control strategy synthesis with safety rules (Q2986905)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Least-violating control strategy synthesis with safety rules |
scientific article |
Statements
Least-violating control strategy synthesis with safety rules (English)
0 references
16 May 2017
0 references
control strategy synthesis
0 references
formal specification
0 references
least-violating planning
0 references
robot path planning
0 references
0 references