يعرض 1 - 4 نتائج من 4 نتيجة بحث عن '"Miao, Shaowen"', وقت الاستعلام: 2.10s تنقيح النتائج
  1. 1
    مؤتمر
    Decidability of Probabilistic Current-State Opacity for Probabilistic Finite Automata

    المؤلفون: Chen, Keru, Miao, Shaowen, Lai, Aiwen, Ma, Ji, Chen, Sihan

    المصدر: 2024 43rd Chinese Control Conference (CCC) Chinese Control Conference (CCC), 2024 43rd. :1556-1561 Jul, 2024

    Relation: 2024 43rd Chinese Control Conference (CCC)

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    مؤتمر
    Initial-and - Final-State Detectability of Nondeterministic Finite-State Automata

    المؤلفون: Shen, Liren, Miao, Shaowen, Lai, Aiwen, Komenda, Jan, Lahaye, Sebastien

    المصدر: 2024 14th Asian Control Conference (ASCC) Control Conference (ASCC), 2024 14th Asian. :509-514 Jul, 2024

    Relation: 2024 14th Asian Control Conference (ASCC)

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition

    المؤلفون: Miao, Shaowen, Lai, Aiwen, Yu, Xiao, Lahaye, Sebastien, Komenda, Jan

    المصدر: 2023 9th International Conference on Control, Decision and Information Technologies (CoDIT) Control, Decision and Information Technologies (CoDIT), 2023 9th International Conference on. :251-256 Jul, 2023

    Relation: 2023 9th International Conference on Control, Decision and Information Technologies (CoDIT)

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    Verification of initial-and-final-state opacity for unambiguous weighted automata

    المؤلفون: Shen, Liren, Miao, Shaowen, Lai, Aiwen, Komenda, Jan

    المصدر: In ISA Transactions May 2024 148:237-246

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء