Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes
  • Metaadatok
Tartalom: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4566
Archívum: Acta Cybernetica
Gyűjtemény: Special Issue of SWIM 2023 / 2024 / 2025
Cím:
Guaranteed Satisfaction of a Signal Temporal Logic Formula on Tubes
Létrehozó:
Tillet, Joris
Besset, Antoine
Alexandre dit Sandretto, Julien
Kiadó:
Dátum:
2025-11-26
Téma:
Tartalmi leírás:
Nyelv:
angol
Típus:
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
Formátum:
application/pdf
Azonosító:
10.14232/actacyb.315054
Forrás:
2676-993X
0324-721X
Kapcsolat:
Létrehozó: