1. Statistical model checking for probabilistic hyperproperties of real-valued signals;Arora,2022
2. Probabilistic model checking;Baier,2016
3. Stochastic Hybrid Systems. Number 24 in Control Engineering,2007
4. How adaptive and reliable is your program?;Castiglioni,2021