Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems

DOI10.1109/tac.2021.3118335arXiv2007.02271OpenAlexW3203511922MaRDI QIDQ6077088

Alessandro Abate, Karl Henrik Johansson, Yulong Gao, Xie, Lihua, Mirco Giacobbe, Unnamed Author

Publication date: 24 September 2023

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.02271

zbMATH Keywords

control synthesismodel checkinglinear temporal logictemporal logic trees

Mathematics Subject Classification ID

Systems theory; control (93-XX)