Verification of detectability for unambiguous weighted automata using self-composition

Počet záznamů: 1

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, ORCID}
Korespondují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