Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints.

Xinyi Yu Xiang Yin Lars Lindemann

Published in: CoRR (2023)

Keyphrases

real time
spatio temporal
temporal information
constrained optimization
computationally expensive
temporal reasoning
neural network
video sequences
relational databases
control system
lightweight
spatial and temporal
temporal patterns
temporal dimension