Online control synthesis for uncertain systems under signal temporal logic specifications
Signal temporal logic (STL) formulas have been widely used as a formal language to express complex robotic specifications, thanks to their rich expressiveness and explicit time semantics. Existing approaches for STL control synthesis suffer from limited scalability with respect to the task complexit...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Jezik: | English |
| Izdano: |
SAGE Publications
2023
|