Počet záznamů: 1
Verification of detectability for unambiguous weighted automata using self-composition
- 1.
SYSNO 0578399 Název Verification of detectability for unambiguous weighted automata using self-composition Tvůrce(i) Miao, S. (CN)
Lai, A. (CN)
Yu, X. (CN)
Lahaye, S. (FR)
Komenda, Jan (MU-W) RID, SAI, ORCIDKorespondující/senior Lahaye, S. - Korespondující autor Zdroj.dok. 9th International Conference on Control, Decision and Information Technologies (CoDIT). S. 251-256. - Los Alamitos : IEEE, 2023 / Califano C. ; Jabeur Telmoud A. ; Herrera Viedma E. Konference 9th International Conference on Control, Decision and Information Technologies (CoDIT), 03.07.2023 - 06.07.2023, Rome Druh dok. Konferenční příspěvek (zahraniční konf.) Grant GC19-06175J GA ČR - Grantová agentura ČR, CZ - Česká republika Institucionální podpora MU-W - RVO:67985840 Jazyk dok. eng Země vyd. US Klíč.slova discrete event system * unambiguous weighted automaton * self-composition * detectability * polynomial time Spolupracující instituce Xiamen University (Čína)
University of Angers (Francie)URL https://doi.org/10.1109/CoDIT58514.2023.10284082 Trvalý link https://hdl.handle.net/11104/0347401 Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 0 465.3 KB Vydavatelský postprint vyžádat
Počet záznamů: 1