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 proceeding › Chapter
Published
| Original language | English |
|---|---|
| Title of host publication | Computer Aided Verification |
| Subtitle of host publication | Proceedings of the 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 |
| Editors | P. Madhusudan, Sanjit A. Seshia |
| Publisher | Springer-Verlag |
| Pages | 327-342 |
| Number of pages | 16 |
| ISBN (Electronic) | 978-3-642-31424-7 |
| ISBN (Print) | 978-3-642-31423-0 |
| DOIs | |
| Publication status | Published - 1 Jan 2012 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Volume | 7358 |
| ISSN (Print) | 0302-9743 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 17790367