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, J. 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