Monitor-based statistical model checking for weighted metric temporal logic

DOI10.1007/978-3-642-28717-6_15MaRDI QIDQ2891448zbMATH OpenOpenAlexFDO

Authors P. E. Bulychev, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen, Amélie Stainer, Kim G. Larsen

Publication date 15 June 2012

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28717-6_15

Mathematics Subject Classification ID

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

Recommendations

• Weight monitoring with linear temporal logic
• Statistical Model Checking for Networks of Priced Timed Automata
• Model checking for a class of weighted automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 7333236

Cited in

(6)

• Monitoring timed properties (revisited)
• Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)
• A logic of behaviour in context
• Model-based verification, optimization, synthesis and performance evaluation of real-time systems
• Weight monitoring with linear temporal logic
• Efficient monitoring of timed properties

Describes a project that uses

Uses Software

• Uppaal
• PMaude
• Casaal

This page was built for publication: Monitor-based statistical model checking for weighted metric temporal logic

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