Physically-Feasible Repair of Reactive, Linear Temporal Logic-based, High-Level Tasks

被引：0
|
作者：
Pacheck, Adam [1 ]
Kress-Gazit, Hadas [1 ]
机构：
[1] Cornell University in Ithaca, NY,14850, United States
来源：
arXiv | 2022年
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Encoding (symbols) - Formal methods - Repair - Robot programming - Technology transfer - Temporal logic
引用
收藏
相关论文
共 50 条
  • [1] Physically Feasible Repair of Reactive, Linear Temporal Logic-Based, High-Level Tasks
    Pacheck, Adam
    Kress-Gazit, Hadas
    IEEE TRANSACTIONS ON ROBOTICS, 2023, 39 (06) : 4653 - 4670
  • [2] Linear Temporal Logic-based Mission Planning
    Kumar, Anil
    Kala, Rahul
    INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE, 2016, 3 (07): : 32 - 41
  • [3] Automatic Encoding and Repair of Reactive High-Level Tasks with Learned Abstract Representations
    Pacheck, Adam
    Konidaris, George
    Kress-Gazit, Hadas
    ROBOTICS RESEARCH: THE 19TH INTERNATIONAL SYMPOSIUM ISRR, 2022, 20 : 509 - 525
  • [4] Automatic encoding and repair of reactive high-level tasks with learned abstract representations
    Pacheck, Adam
    James, Steven
    Konidaris, George
    Kress-Gazit, Hadas
    INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2023, 42 (4-5): : 263 - 288
  • [5] HIGH-LEVEL NETS AND LINEAR LOGIC
    LILIUS, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : 310 - 321
  • [6] Navigating through logic-based scene models for high-level scene interpretations
    Neumann, B
    Weiss, T
    COMPUTER VISION SYSTEMS, PROCEEDINGS, 2003, 2626 : 212 - 222
  • [7] Logic-based extensions of stochastic process algebras for high-level performance modelling and evaluation
    Klehmet, U
    SIMULATION AND MODELLING: ENABLERS FOR A BETTER QUALITY OF LIFE, 2000, : 97 - 101
  • [8] Logic-based methodology to help security architects in eliciting high-level network security requirements
    Laborde, Romain
    Bulusu, Sravani Teja
    Wazan, Ahmad Samer
    Barrere, Francois
    Benzekri, Abdelmalek
    SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1610 - 1619
  • [9] Correct, Reactive, High-Level Robot Control Mitigating the State Explosion Problem of Temporal Logic Synthesis
    Kress-Gazit, Hadas
    Wongpiromsarn, Tichakom
    Topcu, Ufuk
    IEEE ROBOTICS & AUTOMATION MAGAZINE, 2011, 18 (03) : 65 - 74
  • [10] Reactive temporal logic-based precursor detection algorithm for terminal airspace operations
    Deshmukh R.
    Sun D.
    Kim K.
    Hwang I.
    Journal of Air Transportation, 2020, 28 (04): : 155 - 163
12345