Minimizable timed automata

被引：0
|
作者：
Springintveld, J.
Vaandrager, F.
机构：
来源：
Lecture Notes in Computer Science | / 1135卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] STOCHASTIC TIMED AUTOMATA
    Bertrand, Nathalie
    Bouyer, Patricia
    Brihaye, Thomas
    Menet, Quentin
    Baier, Christel
    Groesser, Marcus
    Jurdzinski, Marcin
    LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (04)
  • [42] Diagnosing timed automata using timed markings
    Bouyer, Patricia
    Henry, Leo
    Jaziri, Samy
    Jeron, Thierry
    Markey, Nicolas
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2021, 23 (02) : 229 - 253
  • [43] Diagnosing timed automata using timed markings
    Patricia Bouyer
    Léo Henry
    Samy Jaziri
    Thierry Jéron
    Nicolas Markey
    International Journal on Software Tools for Technology Transfer, 2021, 23 : 229 - 253
  • [44] Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata
    Sun, Jun
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (156): : 2 - 2
  • [45] From timed automata to testable untimed automata
    Petitjean, E
    Fouchal, H
    REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 189 - 194
  • [46] Translation of Timed Promela to Timed Automata with Discrete Data
    Nabialek, Wojciech
    Janowska, Agata
    Janowski, Pawel
    FUNDAMENTA INFORMATICAE, 2008, 85 (1-4) : 409 - 424
  • [47] Efficient Timed Diagnosis Using Automata with Timed Domains
    Bouyer, Patricia
    Jaziri, Samy
    Markey, Nicolas
    RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 205 - 221
  • [48] Comparing timed C/E systems with timed automata
    Huuck, R
    Lakhnech, Y
    Urbina, L
    Engell, S
    Kowalewski, S
    Preussig, J
    HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 81 - 86
  • [49] Multi-timed Bisimulation for Distributed Timed Automata
    Ortiz, James
    Amrani, Moussa
    Schobbens, Pierre-Yves
    NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 52 - 67
  • [50] Better abstractions for timed automata
    Herbreteau, Frederic
    Srivathsan, B.
    Walukiewicz, Igor
    INFORMATION AND COMPUTATION, 2016, 251 : 67 - 90
12345