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 条
  • [21] Complexity of finite-horizon Markov decision process problems
    Mundhenk, M
    Goldsmith, J
    Lusena, C
    Allender, E
    JOURNAL OF THE ACM, 2000, 47 (04) : 681 - 720
  • [22] NATURE OF PETROLEUM PROCESS FOULING - RESULTS WITH A PRACTICAL INSTRUMENT
    BRAUN, R
    MATERIALS PERFORMANCE, 1977, 16 (11) : 35 - 41
  • [23] PRACTICAL RESULTS CONCERNING THE METHODS OF INVESTIGATION OF THE EXTRUSION PROCESS
    LAUE, K
    ZEITSCHRIFT FUR METALLKUNDE, 1964, 55 (10): : 559 - 567
  • [24] On the Finite-Time Complexity and Practical Computation of Approximate Stationarity Concepts of Lipschitz Functions
    Tian, Lai
    Zhou, Kaiwen
    So, Anthony Man-Cho
    INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 162, 2022,
  • [25] Complexity and involvement as implementation challenges: results from a process analysis
    Yvette Emond
    André Wolff
    Gerrit Bloo
    Johan Damen
    Gert Westert
    Hub Wollersheim
    Hiske Calsbeek
    BMC Health Services Research, 21
  • [26] Complexity and involvement as implementation challenges: results from a process analysis
    Emond, Yvette
    Wolff, Andre
    Bloo, Gerrit
    Damen, Johan
    Westert, Gert
    Wollersheim, Hub
    Calsbeek, Hiske
    BMC HEALTH SERVICES RESEARCH, 2021, 21 (01)
  • [27] CAPD (computer-aided process development). Practical results
    Rusch, B
    TEKSTIL, 2000, 49 (09): : 493 - 495
  • [28] A NEW CALIPER CONTROL ACTUATOR - EVALUATION PROCESS AND PRACTICAL RESULTS
    KAN, CE
    TAPPI JOURNAL, 1987, 70 (07): : 81 - 85
  • [29] NATURE OF PETROLEUM PROCESS FOULING - RESULTS OF A PRACTICAL INSTRUMENT.
    Braun, Richard
    Corrosion '77 $-$ Int Corros Forum Devoted Exclusively to the Prot and Perform of Mater, 1977, : 1 - 106
  • [30] 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
12345