Počet záznamů: 1
Verification of detectability for unambiguous weighted automata using self-composition
- 1.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. Dostupné z: doi: 10.1109/CoDIT58514.2023.10284082.
Počet záznamů: 1