Model Checking One-clock Priced Timed Automata
From MaRDI portal
Publication:3518285
DOI10.2168/LMCS-4(2:9)2008zbMath1149.68401MaRDI QIDQ3518285
Patricia Bouyer, Nicolas Markey, Kim Guldstrand Larsen
Publication date: 7 August 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Alternation-free weighted mu-calculus: decidability and completeness, Model checking weighted integer reset timed automata, MSO logics for weighted timed automata, Learning deterministic probabilistic automata from a model checking perspective, Parameterized model checking of weighted networks, Path Checking for MTL and TPTL over Data Words, Event-Clock Visibly Pushdown Automata, Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata