Počet záznamů: 1  

Verification of detectability for unambiguous weighted automata using self-composition

  1. SYS0578399
    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  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.