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 条
  • [21] SigAttack: New High-level SAT-based Attack on Logic Encryptions
    Shen, Yuanqi
    Li, You
    Kong, Shuyu
    Rezaei, Amin
    Zhou, Hai
    2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 940 - 943
  • [22] Extraction of physically based high-level models for rapid prototyping of MEMS devices and control circuitry
    Niessner, Martin
    Schrag, Gabriele
    Wachutka, Gerhard
    2006 IEEE SENSORS, VOLS 1-3, 2006, : 915 - +
  • [23] High-Level Knowledge-Based Structures for Simulation within Urgent Computing Tasks
    Kovalchuk, Sergey V.
    Boukhanovsky, Alexander V.
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, ICCS 2012, 2012, 9 : 1694 - 1703
  • [24] High-level Activity Recognition Based on Analysis of Spatio-Temporal Contexts
    Lang, Ruixiang
    Ye, Jian
    Huang, Bin
    Sun, Yangwei
    2017 IEEE SMARTWORLD, UBIQUITOUS INTELLIGENCE & COMPUTING, ADVANCED & TRUSTED COMPUTED, SCALABLE COMPUTING & COMMUNICATIONS, CLOUD & BIG DATA COMPUTING, INTERNET OF PEOPLE AND SMART CITY INNOVATION (SMARTWORLD/SCALCOM/UIC/ATC/CBDCOM/IOP/SCI), 2017,
  • [25] AN OBJECT-ORIENTED LANGUAGE FOR PARAMETERISED REACTIVE SYSTEM SPECIFICATION BASED ON LINEAR TEMPORAL LOGIC
    Osari, Kenji
    Murooka, Takuya
    Hagiwara, Kiyotaka
    Ando, Takahiro
    Shimakawa, Masaya
    Ito, Sohei
    Hagihara, Shigeki
    Yonezaki, Naoki
    Theory and Practice of Computation, 2015, : 121 - 143
  • [26] Capability Sourcing Modeling A High-Level Conceptualization Based on Service-Dominant Logic
    Rafati, Laleh
    Poels, Geert
    ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS, 2014, 178 : 77 - 87
  • [27] High-level performability analysis based on stochastic process algebras and logic property classes
    Klehmet, U
    QRM 2002: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON QUALITY, RELIABILITY, AND MAINTENANCE, 2002, : 73 - 76
  • [28] Learning of sensor-based arm motions while executing high-level descriptions of tasks
    Martín, P
    Millán, JDR
    AUTONOMOUS ROBOTS, 1999, 7 (01) : 57 - 75
  • [29] Learning of Sensor-Based Arm Motions while Executing High-Level Descriptions of Tasks
    Pedro Martín
    José Del R. Millán
    Autonomous Robots, 1999, 7 : 57 - 75
  • [30] High-Level Situation Recognition Using Fuzzy Metric Temporal Logic, Case Studies in Surveillance and Smart Environments
    Muench, David
    IJsselmuiden, Joris
    Arens, Michael
    Stiefelhagen, Rainer
    2011 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS (ICCV WORKSHOPS), 2011,
12345