Request file
Review/Citation: 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
Requested document: Komenda.pdf - Publisher’s postprint
The requested document is not available in open access mode. But it is possible to ask the author for a copy of the document through the form below. If your application is accepted, you will receive a document by e - mail.