| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking
|
Ballarini, Paolo
|
|
2015
|
17 |
4 |
p. 505-526
|
artikel
|
| 2 |
Approximate planning and verification for large Markov decision processes
|
Lassaigne, Richard
|
|
2014
|
17 |
4 |
p. 457-467
|
artikel
|
| 3 |
Modelling and statistical model checking of a microgrid
|
Chakraborty, Souymodip
|
|
2014
|
17 |
4 |
p. 537-554
|
artikel
|
| 4 |
On hypothesis testing for statistical model checking
|
Reijsbergen, Daniël
|
|
2014
|
17 |
4 |
p. 377-395
|
artikel
|
| 5 |
Smart sampling for lightweight verification of Markov decision processes
|
D’Argenio, Pedro
|
|
2015
|
17 |
4 |
p. 469-484
|
artikel
|
| 6 |
Sound statistical model checking for MDP using partial order and confluence reduction
|
Hartmanns, Arnd
|
|
2014
|
17 |
4 |
p. 429-456
|
artikel
|
| 7 |
Statistical model checking: challenges and perspectives
|
Legay, Axel
|
|
2015
|
17 |
4 |
p. 369-376
|
artikel
|
| 8 |
Statistical model checking for biological applications
|
Zuliani, Paolo
|
|
2014
|
17 |
4 |
p. 527-536
|
artikel
|
| 9 |
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains
|
Ellen, Christian
|
|
2014
|
17 |
4 |
p. 485-504
|
artikel
|
| 10 |
Statistical model checking for unbounded until formulas
|
Roohi, Nima
|
|
2015
|
17 |
4 |
p. 417-427
|
artikel
|
| 11 |
Uppaal SMC tutorial
|
David, Alexandre
|
|
2015
|
17 |
4 |
p. 397-415
|
artikel
|
Tijdschrift beschrijving