Did you mean:
keywords:("temporal logic")
Synonyms were used for:
TEMPORALE LOGIK
Search without synonyms:
keywords:("TEMPORALE LOGIK")
Splitting and Merging Control of Multiple Platoons with Signal Temporal Logic
Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks
Hybrid control of multi-robot systems using embedded graph grammars
Control Barrier Functions for Signal Temporal Logic Tasks