Found 32 Documents (Results 1–32)

End-to-end statistical model checking for parametric ODE models. (English) Zbl 1522.68325

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 85-106 (2022).
MSC:  68Q60 65L05 92-10
Full Text: DOI HAL

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3