Počet záznamů: 1
Verification of detectability for unambiguous weighted automata using self-composition
SYS 0578399 LBL 01000a^^22220027750^450 005 20240402214755.4 014 $a 85177431807 $2 SCOPUS 017 $a 10.1109/CoDIT58514.2023.10284082 $2 DOI 100 $a 20231123d m y slo 03 ba 101 $a eng $d eng 102 $a US 200 1-
$a Verification of detectability for unambiguous weighted automata using self-composition 215 $a 6 s. $c P 463 -1
$1 001 cav_un_epca*0578398 $1 010 $a 979-8-3503-1141-9 $1 200 1 $a 9th International Conference on Control, Decision and Information Technologies (CoDIT) $v S. 251-256 $1 205 $a 1. $1 210 $a Los Alamitos $c IEEE $d 2023 $1 702 $a Califano $b C. $4 340 $1 702 1 $a Jabeur Telmoud $b A. $4 340 $1 702 1 $a Herrera Viedma $b E. $4 340 610 $a discrete event system 610 $a unambiguous weighted automaton 610 $a self-composition 610 $a detectability 610 $a polynomial time 700 -1
$3 cav_un_auth*0411635 $a Miao $b S. $y CN $4 070 701 -1
$3 cav_un_auth*0425856 $a Lai $b A. $y CN $4 070 701 -1
$3 cav_un_auth*0319361 $a Yu $b X. $y CN $4 070 701 -1
$3 cav_un_auth*0228473 $a Lahaye $b S. $y FR $4 070 $z K 701 -1
$3 cav_un_auth*0100669 $a Komenda $b Jan $p MU-W $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $w Mathematical Logic and Theoretical Computer Science $y CZ $4 070 $T Matematický ústav AV ČR, v. v. i. 856 $u https://doi.org/10.1109/CoDIT58514.2023.10284082 $9 RIV
Počet záznamů: 1