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 条
  • [31] Lower Complexity Bounds of Finite-Sum Optimization Problems: The Results and Construction
    Han, Yuze
    Xie, Guangzeng
    Zhang, Zhihua
    JOURNAL OF MACHINE LEARNING RESEARCH, 2024, 25 : 1 - 86
  • [32] Finite equational bases in process algebra: Results and open questions
    Aceto, L
    Fokkink, W
    Ingolfsdottir, A
    Luttik, B
    PROCESSES, TERMS AND CYCLES: STEPS ON THE ROAD TO INFINITY: ESSAYS DEDICATED TO JAN WILLEM KLOP ON THE OCCASION OF HIS 60TH BIRTHDAY, 2005, 3838 : 338 - 367
  • [33] THE DISCRIMINATION METHOD FOR THE TRANSFORMATION PROCESS OF RESULTS OF RESEARCH PROJECTS INTO PRACTICAL APPLICATIONS
    Manikowski, Arkadiusz
    MANAGEMENT AND PRODUCTION ENGINEERING REVIEW, 2012, 3 (01) : 39 - 48
  • [34] EXPERIMENTAL RESULTS AND MODELING OF THE SEPARATION OF TRACES OF MERCURY FROM EFFLUENTS WITH THE AID OF THE LIQUID MEMBRANE PROCESS
    WEISS, S
    GRIGORJEW, V
    MUHL, P
    CHEMISCHE TECHNIK, 1982, 34 (10): : 541 - 541
  • [35] Further Results on Finite Timeand Practical Stability of Linear Continuous Time Delay Systems
    Debeljkovic, Dragutin Lj.
    Stojanovic, Sreten B.
    Jovanovic, Aleksandra M.
    FME TRANSACTIONS, 2013, 41 (03): : 241 - 249
  • [36] A practical application of recent results in model and controller validation to a ferrosilicon production process
    Codrons, B
    Bombois, X
    Gevers, M
    Scorletti, G
    PROCEEDINGS OF THE 39TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2000, : 2444 - 2449
  • [37] Maximizing the effectiveness of integrated reservoir studies: Practical approaches to improving the process and results
    Worthington, PF
    JOURNAL OF PETROLEUM TECHNOLOGY, 2004, 56 (01): : 57 - 62
  • [38] Maximizing the Effectiveness of Integrated Reservoir Studies: Practical Approaches to Improving the Process and Results
    Worthington, Paul F.
    JPT, Journal of Petroleum Technology, 2004, 56 (01): : 57 - 62
  • [39] Lifting non-finite axiomatizability results to extensions of process algebras
    Luca Aceto
    Wan Fokkink
    Anna Ingolfsdottir
    MohammadReza Mousavi
    Acta Informatica, 2010, 47 : 147 - 177
  • [40] Lifting non-finite axiomatizability results to extensions of process algebras
    Aceto, Luca
    Fokkink, Wan
    Ingolfsdottir, Anna
    Mousavi, MohammadReza
    FIFTH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE - TCS 2008, 2008, 273 : 301 - +
12345