共 50 条
- [1] Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Hybrid Systems [J]. HSSC 10: PROCEEDINGS OF THE 13TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2010, : 211 - 220
- [5] Sequential Monte Carlo for linear systems - a practical summary [J]. MONTE CARLO METHODS AND APPLICATIONS, 2008, 14 (01): : 1 - 27
- [6] Application of a fully non-linear filter and Monte Carlo techniques to atmospheric data assimilation [J]. 14TH CONFERENCE ON PROBABILITY AND STATISTICS IN THE ATMOSPHERIC SCIENCES, 1998, : 143 - 145