LTL on finite and process traces: Complexity results and a practical reasoner

被引：0
|
作者：
机构：
[1] Fionda, Valeria
[2] Greco, Gianluigi
来源：
| 1600年 / AI Access Foundation卷 / 63期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner
    Fionda, Valeria
    Greco, Gianluigi
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2018, 63 : 557 - 623
  • [2] The Complexity of LTL on Finite Traces: Hard and Easy Fragments
    Fionda, Valeria
    Greco, Gianluigi
    THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 971 - 977
  • [3] Synthesis for LTL and LDL on Finite Traces
    De Giacomo, Giuseppe
    Vardi, Moshe Y.
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1558 - 1564
  • [4] Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness
    De Giacomo, Giuseppe
    De Masellis, Riccardo
    Montali, Marco
    PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2014, : 1027 - 1033
  • [5] On-the-fly Synthesis for LTL over Finite Traces
    Xiao, Shengping
    Li, Jianwen
    Zhu, Shufang
    Shi, Yingying
    Pu, Geguang
    Vardi, Moshe
    THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 6530 - 6537
  • [6] LTL and LDL on Finite Traces: Reasoning, Verification, and Synthesis
    De Giacomo, Giuseppe
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (218):
  • [7] Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces
    Li, Jianwen
    Yao, Yinbo
    Pu, Geguang
    Zhang, Lijun
    He, Jifeng
    22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014), 2014, : 731 - 734
  • [8] A Counting Semantics for Monitoring LTL Specifications over Finite Traces
    Bartocci, Ezio
    Bloem, Roderick
    Nickovic, Dejan
    Roeck, Franz
    COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 547 - 564
  • [9] Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces
    De Giacomo, Giuseppe
    De Masellis, Riccardo
    Grasso, Marco
    Maggi, Fabrizio Maria
    Montali, Marco
    BUSINESS PROCESS MANAGEMENT, BPM 2014, 2014, 8659 : 1 - 17
  • [10] Model-Guided Synthesis for LTL over Finite Traces
    Xiao, Shengping
    Li, Yongkang
    Huang, Xinyue
    Xu, Yicong
    Li, Jianwen
    Pu, Geguang
    Strichman, Ofer
    Vardi, Moshe Y.
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2024, PT I, 2024, 14499 : 186 - 207
12345