Costs Are Expensive!

DOI10.1007/978-3-540-75454-1_6MaRDI QIDQ3510834zbMATH OpenOpenAlexFDO

Authors Patricia Bouyer, Nicolas Markey

Publication date 3 July 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75454-1_6

Mathematics Subject Classification ID

Temporal logic (03B44) Automata and formal grammars in connection with logical questions (03D05) Undecidability and degrees of sets of sentences (03D35) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Model checking weighted integer reset timed automata
• Model Checking One-clock Priced Timed Automata
• Model-Checking One-Clock Priced Timed Automata
• On model-checking timed automata with stopwatch observers

Cited in

(12)

• On model-checking timed automata with stopwatch observers
• Model Checking One-clock Priced Timed Automata
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Model checking logic WCTL with multi constrained modalities on one clock priced timed automata
• On the supports of recognizable timed series
• A survey of timed automata for the development of real-time systems
• Model-checking timed temporal logics
• Model checking weighted integer reset timed automata
• MSO logics for weighted timed automata
• Model-Checking One-Clock Priced Timed Automata
• Weighted o-minimal hybrid systems
• Improved undecidability results on weighted timed automata

This page was built for publication: Costs Are Expensive!

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3510834)