Minimizable timed automata

被引：0
|
作者：
Springintveld, J.
Vaandrager, F.
机构：
来源：
Lecture Notes in Computer Science | / 1135卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Testingmembership for timed automata
    Lassaigne, Richard
    de Rougemont, Michel
    ACTA INFORMATICA, 2023, 60 (04) : 361 - 384
  • [22] A Menagerie of Timed Automata
    Fontana, Peter
    Cleaveland, Rance
    ACM COMPUTING SURVEYS, 2014, 46 (03)
  • [23] Perturbed timed automata
    Alur, R
    La Torre, S
    Madhusudan, P
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2005, 3414 : 70 - 85
  • [24] The Opacity of Timed Automata
    An, Jie
    Gao, Qiang
    Wang, Lingtai
    Zhan, Naijun
    Hasuo, Ichiro
    FORMAL METHODS, PT I, FM 2024, 2025, 14933 : 620 - 637
  • [25] Timed cooperating automata
    Lanotte, Ruggero
    Maggiolo-Schettin, Andrea
    Peron, Adriano
    Fundamenta Informaticae, 2000, 43 (01) : 153 - 173
  • [26] Alternating timed automata
    Lasota, S
    Walukiewicz, I
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2005, 3441 : 250 - 265
  • [27] On Simplification of Timed Automata
    Gromov, Maxim
    PROCEEDINGS OF 2016 IEEE EAST-WEST DESIGN & TEST SYMPOSIUM (EWDTS), 2016,
  • [28] Recursive Timed Automata
    Trivedi, Ashutosh
    Wojtczak, Dominik
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 306 - 324
  • [29] Interrupt Timed Automata
    Berard, Beatrice
    Haddad, Serge
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 197 - +
  • [30] Timed P Automata
    Barbuti, Roberto
    Maggiolo-Schettini, Andrea
    Milazzo, Paolo
    Tesei, Luca
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 227 : 21 - 36
12345