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...
| 主要な著者: | , , , , |
|---|---|
| フォーマット: | Journal article |
| 言語: | English |
| 出版事項: |
SAGE Publications
2023
|