Vyžádat soubor
Reference/citace: MIAO, S., LAI, A., YU, X., LAHAYE, S., KOMENDA, Jan. Verification of detectability for unambiguous weighted automata using self-composition. In: CALIFANO, C., JABEUR TELMOUD, A., HERRERA VIEDMA, E., eds. 9th International Conference on Control, Decision and Information Technologies (CoDIT). Los Alamitos: IEEE, 2023, s. 251-256. ISBN 979-8-3503-1141-9
Vyžádané dokumenty: Komenda.pdf - Vydavatelský postprint
Tento vyžádaný dokument není dostupný v režimu otevřeného přístupu (open access). Prostřednictvím níže dostupného formuláře však můžete požádat autora o kopii dokumentu. Pokud bude Vaše žádost akceptována, dokument obdržíte e-mailem.