Statistical Model Checking the 2024 Edition!

KANAV, Sudeep; Jan KŘETÍNSKÝ a Kim G. LARSEN. Statistical Model Checking the 2024 Edition! In Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024. Crete, Greece: Springer, 2025, s. 303-311. ISBN 978-3-031-75433-3. Dostupné z: https://doi.org/10.1007/978-3-031-75434-0_21.

Základní údaje

Originální název

Statistical Model Checking the 2024 Edition!

Autoři

KANAV, Sudeep; Jan KŘETÍNSKÝ a Kim G. LARSEN

Vydání

Crete, Greece, Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, od s. 303-311, 9 s. 2025

Nakladatel

Springer

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Švýcarsko

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Impakt faktor

Impact factor: 0.402 v roce 2005

Označené pro přenos do RIV

Ano

Organizační jednotka

Fakulta informatiky

ISBN

978-3-031-75433-3

ISSN

DOI

https://doi.org/10.1007/978-3-031-75434-0_21

UT WoS

001532142500020

EID Scopus

2-s2.0-85215770923

Klíčová slova anglicky

Statistical Model Checking; Model Checking; AISoLA

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

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.