Statistical Model Checking the 2024 Edition!

Download PDF
Open Webpage

Sudeep Kanav, Jan Kretínský, Kim G. Larsen

Published: 2024, Last Modified: 12 May 2025AISoLA 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: This short note introduces statistical model checking and gives a brief overview of the Statistical Model Checking, and its past, present and future at AISoLA 2024.