... | ... | @@ -53,5 +53,30 @@ In the `never` setting, **none** of the position can be reached at any point. |
|
|
| `with` | | FP | The value to be compared with. | `0.0` |
|
|
|
| `operator` | | S | Comparison operator: `<`, `<=`, `>`, `>=` or `==`. | `==` |
|
|
|
|
|
|
# Examples
|
|
|
|
|
|
This example requires the vehicle to reach the `(10.1, -105.2)` and `(-63.83, -171.96)` (local) coordinates within 5 meters, in this order.
|
|
|
It also requires the vehicle to always have its velocity (`true_velocity` is the physical value name) always smaller than 50.0 km/h.
|
|
|
|
|
|
```json
|
|
|
"task": {
|
|
|
"goals": [
|
|
|
{
|
|
|
"type": "path",
|
|
|
"ltl_operator": "eventually",
|
|
|
"path": [ [10.1, -105.2], [-63.83, -171.96] ],
|
|
|
"range": 5
|
|
|
},
|
|
|
{
|
|
|
"type": "metric",
|
|
|
"ltl_operator": "always",
|
|
|
"compare": "true_velocity",
|
|
|
"with": "50.0",
|
|
|
"operator": "<"
|
|
|
}
|
|
|
]
|
|
|
}
|
|
|
```
|
|
|
|
|
|
---
|
|
|
Next: [Body and Wheel Properties](/user-docs/json-scenario-reference/Body-and-Wheel-Properties) |
|
|
\ No newline at end of file |