Verification of approximate infinite-step opacity using barrier certificates

Autor:	Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani
Rok vydání:	2022
Zdroj:	2022 European Control Conference (ECC).
DOI:	10.23919/ecc55457.2022.9838153
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::541289099dbaa9ab505f9310e8ff592a https://doi.org/10.23919/ecc55457.2022.9838153 Zobrazit plný text záznamu