Publication details
Statistical Model Checking the 2024 Edition!
| Authors | |
|---|---|
| Year of publication | 2025 |
| Type | Article in Proceedings |
| Conference | Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024 |
| MU Faculty or unit | |
| Citation | |
| Doi | https://doi.org/10.1007/978-3-031-75434-0_21 |
| Keywords | Statistical Model Checking; Model Checking; AISoLA |
| Description | 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. |