Cross-entropy optimisation of importance sampling parameters for statistical model checking. / Jegourel, Cyrille; Legay, A.; Sedwards, Sean.

Computer Aided Verification: Proceedings of the 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012. ed. / P. Madhusudan; Sanjit A. Seshia. Springer-Verlag, 2012. p. 327-342 (Lecture Notes in Computer Science; Vol. 7358).

Research output: Chapter in Book/Report/Conference proceedingChapter

Published
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
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 17790367