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.
9th International Conference on Control, Decision and Information Technologies (CoDIT). Los Alamitos: IEEE, 2023 - (Califano, C.; Jabeur Telmoud, A.; Herrera Viedma, E.), s. 251-256. ISBN 979-8-3503-1141-9.
[9th International Conference on Control, Decision and Information Technologies (CoDIT). Rome (IT), 03.07.2023-06.07.2023]
Obor OECD: Automation and control systems
https://doi.org/10.1109/CoDIT58514.2023.10284082
https://hdl.handle.net/11104/0347401
Počet záznamů: 1