Shiraj Arora, René Rydhof Hansen, Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen. Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals. In Owolabi Legunsen, Grigore Rosu, editors, Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Volume 13255 of Lecture Notes in Computer Science, pages 61-78, Springer, 2022. [doi]
Abstract is missing.