Multi-task Synthesis of Hybrid Systems via Temporal Logic

Autor: Yuhua Yao, Jitao Sun, Yu Zhang
Rok vydání: 2023
Předmět:
Zdroj: IEEE Transactions on Automatic Control. :1-8
ISSN: 2334-3303
0018-9286
DOI: 10.1109/tac.2023.3250349
Databáze: OpenAIRE