Informace o publikaci
Statistical Model Checking the 2024 Edition!
| Autoři | |
|---|---|
| Rok publikování | 2025 |
| Druh | Článek ve sborníku |
| Konference | Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024 |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | https://doi.org/10.1007/978-3-031-75434-0_21 |
| Klíčová slova | Statistical Model Checking; Model Checking; AISoLA |
| Popis | 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. |