The following pages link to Cyrille Jegourel (Q313976):
Displaying 6 items.
- Command-based importance sampling for statistical model checking (Q313977) (← links)
- Importance sampling for stochastic timed automata (Q1660773) (← links)
- Global PAC bounds for learning discrete time Markov chains (Q2226743) (← links)
- A Platform for High Performance Statistical Model Checking – PLASMA (Q2894294) (← links)
- Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking (Q5194935) (← links)
- Sequential schemes for frequentist estimation of properties in statistical model checking (Q6600066) (← links)
