Model Checking One-clock Priced Timed Automata

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)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (14)

Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities ⋮ Path Checking for MTL and TPTL over Data Words ⋮ Model Checking Real-Time Systems ⋮ Learning deterministic probabilistic automata from a model checking perspective ⋮ Design and verification of pipelined circuits with timed Petri nets ⋮ Unnamed Item ⋮ Alternation-free weighted mu-calculus: decidability and completeness ⋮ Parameterized model checking of weighted networks ⋮ Unnamed Item ⋮ Model checking weighted integer reset timed automata ⋮ MSO logics for weighted timed automata ⋮ Event-Clock Visibly Pushdown Automata ⋮ Costs and rewards in priced timed automata ⋮ Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata

This page was built for publication: Model Checking One-clock Priced Timed Automata