Data di Pubblicazione:
2017
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Diffusion approximation; Statistical model checking; Stochastic differential equations with jumps; Theoretical Computer Science; Computer Science (all)
Elenco autori:
Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy
Link alla scheda completa:
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pubblicato in: