Model Checking One-clock Priced Timed Automata
From MaRDI portal
Publication:3518285
DOI10.2168/LMCS-4(2:9)2008zbMath1149.68401MaRDI QIDQ3518285
Nicolas Markey, Patricia Bouyer, 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
Unnamed Item, Unnamed Item, Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities, Alternation-free weighted mu-calculus: decidability and completeness, Design and verification of pipelined circuits with timed Petri nets, Model checking weighted integer reset timed automata, MSO logics for weighted timed automata, Learning deterministic probabilistic automata from a model checking perspective, Costs and rewards in priced timed automata, Parameterized model checking of weighted networks, Model Checking Real-Time Systems, 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