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
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)
Uses Software
This page was built for publication: Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic