A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation.

Autor:	Finkbeiner, Bernd1 (AUTHOR) finkbeiner@cispa.de, Fränzle, Martin2 (AUTHOR) martin.fraenzle@uol.de, Kohn, Florian1 (AUTHOR) florian.kohn@cispa.de, Kröger, Paul2 (AUTHOR)
Zdroj:	Algorithms. Apr2022, Vol. 15 Issue 4, pN.PAG-N.PAG. 17p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.