Basket

0585936 - MÚ 2025 RIV US eng J - Journal Article
Shen, L. - Miao, S. - Lai, A. - Komenda, Jan
Verification of initial-and-final-state opacity for unambiguous weighted automata.
Isa Transactions. Roč. 148, May (2024), s. 237-246. ISSN 0019-0578. E-ISSN 1879-2022
Institutional support: RVO:67985840
Keywords : initial-and-final-state opacity * labeled observer * unambiguous weighted automaton
OECD category: Automation and control systems
Impact factor: 7.3, year: 2022
Method of publishing: Limited access
https://doi.org/10.1016/j.isatra.2024.03.019
Permanent Link: https://hdl.handle.net/11104/0353570