Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic

DOI10.1007/978-3-642-28717-6_15zbMath1352.68147OpenAlexW1761383617MaRDI QIDQ2891448

Alexandre David, P. E. Bulychev, Guangyuan Li, Amélie Stainer, Axel Legay, Danny Bøgsted Poulsen, Kim Guldstrand 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

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

Related Items (4)

Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ A logic of behaviour in context ⋮ Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) ⋮ Monitoring timed properties (revisited)

Uses Software

• Uppaal
• PMaude
• Casaal

This page was built for publication: Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic