Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic.

Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bgsted Poulsen, Amlie Stainer

Browse the full LPAR paper archive.