يعرض 1 - 10 نتائج من 6,534 نتيجة بحث عن '"linear temporal logic"', وقت الاستعلام: 1.64s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Task-Driven Reinforcement Learning With Action Primitives for Long-Horizon Manipulation Skills

    المؤلفون: Wang, H., Zhang, H., Li, L., Kan, Z., Song, Y.

    المصدر: IEEE Transactions on Cybernetics IEEE Trans. Cybern. Cybernetics, IEEE Transactions on. 54(8):4513-4526 Aug, 2024

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    دورية أكاديمية
    Distributed Task Allocation and Planning Under Temporal Logic and Communication Constraints

    المؤلفون: Chen, Z., Li, L., Kan, Z.

    المصدر: IEEE Robotics and Automation Letters IEEE Robot. Autom. Lett. Robotics and Automation Letters, IEEE. 9(7):6536-6543 Jul, 2024

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Fast Temporal Logic Mission Planning of Multiple Robots: A Planning Decision Tree Approach

    المؤلفون: Chen, Z., Zhou, Z., Wang, S., Li, J., Kan, Z.

    المصدر: IEEE Robotics and Automation Letters IEEE Robot. Autom. Lett. Robotics and Automation Letters, IEEE. 9(7):6146-6153 Jul, 2024

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    مؤتمر
    Formal Verification for Blockchain-based Insurance Claims Processing

    المؤلفون: Neupane, Roshan Lal, Bonnah, Ernest, Bhusal, Bishnu, Neupane, Kiran, Hoque, Khaza Anuarul, Calyam, Prasad

    المصدر: NOMS 2024-2024 IEEE Network Operations and Management Symposium Network Operations and Management Symposium, NOMS 2024-2024 IEEE. :1-5 May, 2024

    Relation: NOMS 2024-2024 IEEE Network Operations and Management Symposium

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    دورية أكاديمية
    Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization

    المؤلفون: Ren, Wei, Pan, Zhuo-Rui, Xia, Weiguo, Sun, Xi-Ming

    المصدر: IEEE/CAA Journal of Automatica Sinica IEEE/CAA J. Autom. Sinica Automatica Sinica, IEEE/CAA Journal of. 11(10):2082-2098 Oct, 2024

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    دورية أكاديمية
    Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments

    المؤلفون: Zhou, Z., Chen, Z., Cai, M., Li, Z., Kan, Z., Su, C.

    المصدر: IEEE Transactions on Industrial Electronics IEEE Trans. Ind. Electron. Industrial Electronics, IEEE Transactions on. 71(6):5983-5992 Jun, 2024

    Full Text Finder
    أضف إلى المفضلة
  7. 7
    دورية أكاديمية
    Modeling and Analysis of Cooperative Packet Recovery Protocol

    المؤلفون: Naeem, M., Atif, M., Ali, A., Gulzar, M., Hasrat, I.R.

    المصدر: IEEE Access Access, IEEE. 12:56334-56343 2024

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic

    المؤلفون: Dong, W., Yin, X., Li, S.

    المصدر: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 69(1):145-160 Jan, 2024

    Full Text Finder
    أضف إلى المفضلة
  9. 9
    مؤتمر
    Characterizing Evolutionary Trends in Temporal Knowledge Graphs with Linear Temporal Logic

    المؤلفون: Fionda, Valeria, Pirro, Giuseppe

    المصدر: 2023 IEEE International Conference on Big Data (BigData) Big Data (BigData), 2023 IEEE International Conference on. :2907-2909 Dec, 2023

    Relation: 2023 IEEE International Conference on Big Data (BigData)

    أضف إلى المفضلة
  10. 10
    مؤتمر
    Transformation of Kripke Structure With Linear Temporal Logic Formula to Büchi Automata

    المؤلفون: Rungsetthaphat, Nut, Vatanawood, Wiwat

    المصدر: 2023 27th International Computer Science and Engineering Conference (ICSEC) Computer Science and Engineering Conference (ICSEC), 2023 27th International. :1-5 Sep, 2023

    Relation: 2023 27th International Computer Science and Engineering Conference (ICSEC)

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