Thamilselvam B, Subrahmanyam Kalyanasundaram, Shubham Parmar, M. V. Panduranga Rao. Statistical Model Checking for Traffic Models. In Sérgio Campos, Marius Minea, editors, Formal Methods: Foundations and Applications - 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings. Volume 13130 of Lecture Notes in Computer Science, pages 17-33, Springer, 2021. [doi]
Abstract is missing.