Cross-entropy optimisation of importance sampling parameters for statistical model checking

Cyrille Jegourel, A. Legay, Sean Sedwards

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationComputer Aided Verification
Subtitle of host publicationProceedings of the 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012
EditorsP. Madhusudan, Sanjit A. Seshia
PublisherSpringer-Verlag
Pages327-342
Number of pages16
ISBN (Electronic)978-3-642-31424-7
ISBN (Print)978-3-642-31423-0
DOIs
Publication statusPublished - 1 Jan 2012

Publication series

NameLecture Notes in Computer Science
Volume7358
ISSN (Print)0302-9743

Cite this