Cyrille Jegourel

Available identifiers

zbMath Open jegourel.cyrilleMaRDI QIDQ313976

List of research outcomes

Publication	Date of Publication	Type
Sequential schemes for frequentist estimation of properties in statistical model checking	2024-09-08	Paper
Global PAC bounds for learning discrete time Markov chains	2021-02-09	Paper
Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking	2019-09-17	Paper
Importance sampling for stochastic timed automata	2018-08-16	Paper
Command-based importance sampling for statistical model checking	2016-09-12	Paper
A Platform for High Performance Statistical Model Checking – PLASMA	2012-06-29	Paper

Research outcomes over time

This page was built for person: Cyrille Jegourel